]> git.mxchange.org Git - friendica.git/commitdiff
Merge pull request #8613 from MrPetovan/bug/8612-console-user-already-deleted
authorMichael Vogel <icarus@dabo.de>
Sat, 9 May 2020 16:05:31 +0000 (18:05 +0200)
committerGitHub <noreply@github.com>
Sat, 9 May 2020 16:05:31 +0000 (18:05 +0200)
Skip user removal if it's already been removed in Console\User


Trivial merge