]> gitweb.hamatoma.de Git - reqt/commitdiff
Merge branch 'master' of git.hamatoma.de:repo/reqt
authorHamatoma <hamatoma@gmx.de>
Thu, 1 Dec 2016 23:06:42 +0000 (00:06 +0100)
committerHamatoma <hamatoma@gmx.de>
Thu, 1 Dec 2016 23:06:42 +0000 (00:06 +0100)

Trivial merge