tree db8a00fa0a507da688dd853f0b66976c12d171b6
parent 1198369f61fdadd2a45e0238d9b63f6a2e4e13ff
author Luca Milanesio <luca.milanesio@gmail.com> 1637277844 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1637277949 +0000

Use JGit 5.1.15.202012011955-r javadoc to resume release build

The javadoc site for 5.1.16 is not available anymore on the
Eclipse's archive site: use the earlier version to resume the
ability to release Gerrit.

Change-Id: Ib1edf0cdefbed16a87a3187b33c0c4396a89e16f