]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #5017 from nextcloud/stable12-5016
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Tue, 23 May 2017 09:36:58 +0000 (11:36 +0200)
committerGitHub <noreply@github.com>
Tue, 23 May 2017 09:36:57 +0000 (11:36 +0200)
[stable12] Reset opcache if update is detected


Trivial merge