commit | 043b1019ce500bf077c678b9140a08f4a9bc1fc1 | [log] [tgz] |
---|---|---|
author | Luca Milanesio <luca.milanesio@gmail.com> | Thu Jan 10 21:13:22 2019 +0000 |
committer | Luca Milanesio <luca.milanesio@gmail.com> | Thu Jan 10 21:19:08 2019 +0000 |
tree | e95b25065da27d96f9bd3cbee3d1357898d9c476 | |
parent | 55cf6e690f178b839a348ab7e61ac400acb78079 [diff] | |
parent | d400d56a13754e4d1ee810e35acf8c7669b2ff84 [diff] |
Merge branch 'stable-2.10' into stable-2.11 * stable-2.10: Upgrade JGit to 4.5.5.201812240535-r Change-Id: Ie7d0263ced0db87079bb4ed061febc4b866a6e22