]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #5484 from nextcloud/fix-if-circles-is-deleted
authorMorris Jobke <hey@morrisjobke.de>
Tue, 11 Jul 2017 21:42:30 +0000 (23:42 +0200)
committerGitHub <noreply@github.com>
Tue, 11 Jul 2017 21:42:30 +0000 (23:42 +0200)
Check if Circles is still here


Trivial merge