]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #330 from nextcloud/php7.0-ci
authorMorris Jobke <hey@morrisjobke.de>
Sun, 10 Jul 2016 11:46:59 +0000 (13:46 +0200)
committerGitHub <noreply@github.com>
Sun, 10 Jul 2016 11:46:59 +0000 (13:46 +0200)
PHP 7.0 CI


Trivial merge