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

Trivial merge