chiark / gitweb /
Merge pull request #22 from elogind/dev_v232
authorSven Eden <yamakuzure@gmx.net>
Fri, 7 Jul 2017 13:18:23 +0000 (15:18 +0200)
committerGitHub <noreply@github.com>
Fri, 7 Jul 2017 13:18:23 +0000 (15:18 +0200)
Dev v232 merge to master


Trivial merge