]> source.dussan.org Git - jgit.git/commitdiff
Merge "Allow '@' as last character of ref"
authorChristian Halstrick <christian.halstrick@sap.com>
Fri, 13 Apr 2018 09:14:43 +0000 (05:14 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Fri, 13 Apr 2018 09:14:43 +0000 (05:14 -0400)

Trivial merge