Merge pull request #9857 from MrPetovan/bug/9854-tags-profile-space
authorMichael Vogel <icarus@dabo.de>
Sun, 24 Jan 2021 12:03:50 +0000 (13:03 +0100)
committerGitHub <noreply@github.com>
Sun, 24 Jan 2021 12:03:50 +0000 (13:03 +0100)
Remove leading space in displayed public tags in profile page


Trivial merge