tree 420de7a88f2b9b83691c406d27cde996d686b81a
parent adb699ffb8c68a8a01c52f4889dadace8baaeba2
parent bb3011f0b03cb31c1f06e488314a4e1f2f220ca2
author David Pursehouse <dpursehouse@collab.net> 1546817246 +0900
committer Luca Milanesio <luca.milanesio@gmail.com> 1547139700 +0000

Merge branch 'stable-2.9' into stable-2.10

* stable-2.9:
  Upgrade JGit to 4.5.5.201812240535-r

Change-Id: Iccd292df6484376463f5955b085d9d18dca271f1