tree 2fb5334dc14acd95e75f754b562ab675b3934c5f
parent 1362b2e388513dbc0f5410da5be3fc049e0bd525
author Luca Milanesio <luca.milanesio@gmail.com> 1498127648 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1498127648 +0100

Explain why Gitblit plugin 2.13 is not built

Change-Id: Id13baf6c11bd1c52d167ab8760d4205c3810e68a