tree 105942075cf1f6569b7e57ad78aa6dc0199c7ae3
parent fb22f79098895a770024ba5f188e40fa1b547d4e
parent 66d404bd5e41916191d54e283cde5f4e71b2c823
author David Pursehouse <dpursehouse@collab.net> 1534169040 +0100
committer David Pursehouse <dpursehouse@collab.net> 1534169399 +0100

Merge branch 'stable-2.12' into stable-2.13

* stable-2.12:
  Upgrade JGit to v4.5.4.201711221230-r
  Fix deprecation warnings from latest JGit update
  Upgrade JGit to 4.3.0.201604071810-r
  Set version to 2.12.9-SNAPSHOT

Change-Id: I47b4c3065eb41b96bdd8d6f5f34b4553314650d5