]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #13254 from nextcloud/backport/13227/stable14
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Thu, 3 Jan 2019 10:37:14 +0000 (11:37 +0100)
committerGitHub <noreply@github.com>
Thu, 3 Jan 2019 10:37:14 +0000 (11:37 +0100)
[stable14] Fix opening search results for comments


Trivial merge