]> git.sur5r.net Git - contagged/commitdiff
Merge pull request #15 from cweiske/master master
authorAndreas Gohr <andi@splitbrain.org>
Thu, 7 Sep 2017 14:46:44 +0000 (16:46 +0200)
committerGitHub <noreply@github.com>
Thu, 7 Sep 2017 14:46:44 +0000 (16:46 +0200)
PHP7 compatibility


Trivial merge