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

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

Trivial merge