tree 640e851f4fe2d21485cd92b077058a39b76aad52
parent 591d3557640c665d6303f43bb6036ed085a6bd38
parent 043b1019ce500bf077c678b9140a08f4a9bc1fc1
author Luca Milanesio <luca.milanesio@gmail.com> 1547157837 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1547157851 +0000

Merge branch 'stable-2.11' into stable-2.12

* stable-2.11:
  Upgrade JGit to 4.5.5.201812240535-r

Change-Id: I2f3bce590b9ddbd3a66ae070c125680ea8243eca