tree e95b25065da27d96f9bd3cbee3d1357898d9c476
parent 55cf6e690f178b839a348ab7e61ac400acb78079
parent d400d56a13754e4d1ee810e35acf8c7669b2ff84
author Luca Milanesio <luca.milanesio@gmail.com> 1547154802 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1547155148 +0000

Merge branch 'stable-2.10' into stable-2.11

* stable-2.10:
  Upgrade JGit to 4.5.5.201812240535-r

Change-Id: Ie7d0263ced0db87079bb4ed061febc4b866a6e22