]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #13030 from nextcloud/backport/13009/stable14
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Wed, 12 Dec 2018 14:52:37 +0000 (15:52 +0100)
committerGitHub <noreply@github.com>
Wed, 12 Dec 2018 14:52:37 +0000 (15:52 +0100)
[stable14] Better activities for systemtags that are removed by CLI


Trivial merge