]> source.dussan.org Git - gitea.git/commitdiff
Merge branch 'develop' into develop 23/head
authorThomas Boerger <thomas@webhippie.de>
Thu, 3 Nov 2016 08:07:55 +0000 (09:07 +0100)
committerGitHub <noreply@github.com>
Thu, 3 Nov 2016 08:07:55 +0000 (09:07 +0100)

Trivial merge