tree acc5cd7786c8b4dd4e6662de19fb1c193cb965d1
parent ec48c6431f00d6d56d473b08f4c1c1b692b9ddcc
author Luca Milanesio <luca.milanesio@gmail.com> 1445877015 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1445878107 +0000

Fix broken build on Gerrit 2.10.7