]> source.dussan.org Git - gitblit.git/commitdiff
Merge pull request #2 from gitblit/master
authorMartin Spielmann <martin.spielmann@pingunaut.com>
Wed, 28 Sep 2016 14:11:50 +0000 (16:11 +0200)
committerGitHub <noreply@github.com>
Wed, 28 Sep 2016 14:11:50 +0000 (16:11 +0200)
merge updates from gitblit master into this wicket-7 branch


Trivial merge