]> git.immae.eu Git - github/wallabag/wallabag.git/commitdiff
Merge pull request #3717 from wallabag/php-72
authorKevin Decherf <kevin@kdecherf.com>
Thu, 6 Sep 2018 09:28:57 +0000 (11:28 +0200)
committerGitHub <noreply@github.com>
Thu, 6 Sep 2018 09:28:57 +0000 (11:28 +0200)
PHP 7.2 shouldn't fail


Trivial merge