]> source.dussan.org Git - jgit.git/commitdiff
Merge "Declare ConfigConstants and GitProtocolConstants final"
authorJonathan Nieder <jrn@google.com>
Tue, 14 Aug 2018 22:55:26 +0000 (18:55 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Tue, 14 Aug 2018 22:55:26 +0000 (18:55 -0400)

Trivial merge