chiark / gitweb /
Merge pull request #19 from elogind/dev_v231
authorSven Eden <yamakuzure@gmx.net>
Mon, 3 Jul 2017 13:28:24 +0000 (15:28 +0200)
committerGitHub <noreply@github.com>
Mon, 3 Jul 2017 13:28:24 +0000 (15:28 +0200)
Merge dev_v231 into master


Trivial merge