]> git.immae.eu Git - github/shaarli/Shaarli.git/commitdiff
Merge pull request #1351 from ArthurHoaro/hotfix/index-php-version
authornodiscc <nodiscc@gmail.com>
Sat, 10 Aug 2019 11:30:16 +0000 (11:30 +0000)
committerGitHub <noreply@github.com>
Sat, 10 Aug 2019 11:30:16 +0000 (11:30 +0000)
Bump PHP version check in index.php


Trivial merge