]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #5945 from nextcloud/stable12_5836
authorMorris Jobke <hey@morrisjobke.de>
Tue, 8 Aug 2017 08:41:05 +0000 (10:41 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Aug 2017 08:41:05 +0000 (10:41 +0200)
[stable12] Empty search no longer works


Trivial merge