]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-5.0' 15/124315/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Sun, 10 Jun 2018 23:09:00 +0000 (08:09 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Sun, 10 Jun 2018 23:09:09 +0000 (08:09 +0900)
* stable-5.0:
  Fix Javadoc typo

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

Trivial merge