]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #8216 from nextcloud/6830_12
authorMorris Jobke <hey@morrisjobke.de>
Thu, 8 Feb 2018 08:17:56 +0000 (09:17 +0100)
committerGitHub <noreply@github.com>
Thu, 8 Feb 2018 08:17:56 +0000 (09:17 +0100)
Nextcloud 12 is not compatible with newer than php 7.1


Trivial merge