David Pursehouse 9083cd3a6d Merge branch 'stable-2.13' ...

* stable-2.13:
  Expose JGit repository cache configuration parameters

Change-Id: I20e1b00f06a641d1dc2c59e406b0df8ac9aeba9f

2016-09-20 14:57:25 +02:00

..

main

Merge branch 'stable-2.13'

2016-09-20 14:57:25 +02:00

test

RepositoryConfigTest: Suppress warning about unnecessary cast

2016-09-20 10:24:45 +02:00