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


Trivial merge