]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #1899 from nextcloud/stable10-php-7.1.0-check
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Tue, 25 Oct 2016 08:15:26 +0000 (10:15 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Oct 2016 08:15:26 +0000 (10:15 +0200)
[stable10] console.php also needs a PHP 7.1 check


Trivial merge