]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-4.10' 15/116515/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 1 Feb 2018 09:09:08 +0000 (18:09 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 1 Feb 2018 09:09:16 +0000 (18:09 +0900)
* stable-4.10:
  Minor fixes in three error messages

Change-Id: I159d397e4d78b3f5d7f0a0dbff7fe76470148c6a
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>

Trivial merge