]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #16112 from nextcloud/backport/16101/stable16
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Thu, 27 Jun 2019 14:09:58 +0000 (16:09 +0200)
committerGitHub <noreply@github.com>
Thu, 27 Jun 2019 14:09:58 +0000 (16:09 +0200)
[stable16] invalidates user when plugin reported deletion success


Trivial merge