]> BookStack Code Mirror - devops/commitdiff
Merge pull request #22 from timoschwarzer/ubuntu-use-newer-php-verion
authorDan Brown <redacted>
Sun, 19 Jan 2020 14:58:01 +0000 (14:58 +0000)
committerGitHub <redacted>
Sun, 19 Jan 2020 14:58:01 +0000 (14:58 +0000)
Use newer PHP version from PPA in Ubuntu 16.04 script


Trivial merge