tree 378e882b1dbdb382745ccc922ed9258c5d76be17
parent 4d152be63a13bf9ed018c1301b0fe435264fe1bb
parent d135e7597fc62592f154998fb4edaba19b4fcdf5
author David Pursehouse <dpursehouse@collab.net> 1553009694 +0000
committer David Pursehouse <dpursehouse@collab.net> 1553009694 +0000

Merge branch 'stable-2.13' into stable-2.14

* stable-2.13:
  Set version to 2.13.13
  Upgrade JGit to 4.5.6.201903121547-r
  Consume JGit artifacts from Maven Central

Change-Id: I18ea1fd9ceaf158467ffbe6fe91685b67a70ce24