]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-5.0' into stable-5.1 50/130550/1
authorJonathan Nieder <jrn@google.com>
Sun, 7 Oct 2018 03:45:28 +0000 (03:45 +0000)
committerJonathan Nieder <jrn@google.com>
Sun, 7 Oct 2018 03:45:28 +0000 (03:45 +0000)
* stable-5.0:
  ObjectChecker#getGitsubmodules: Fix malformed javadoc

Change-Id: Ib32077c6640621670649fa4fbfcc8d0c9d8346f1
Signed-off-by: Jonathan Nieder <jrn@google.com>

Trivial merge