]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #5422 from nextcloud/5190-stable12
authorMorris Jobke <hey@morrisjobke.de>
Thu, 15 Jun 2017 15:20:12 +0000 (10:20 -0500)
committerGitHub <noreply@github.com>
Thu, 15 Jun 2017 15:20:12 +0000 (10:20 -0500)
[stable12] Treat PHP Errors on User session regenerate


Trivial merge