Merge pull request #8407 from MrPetovan/bug/8358-markdown-double-decode
authorMichael Vogel <icarus@dabo.de>
Wed, 11 Mar 2020 20:18:36 +0000 (21:18 +0100)
committerGitHub <noreply@github.com>
Wed, 11 Mar 2020 20:18:36 +0000 (21:18 +0100)
Remove extraneous HTML decode in Markdown::toBBCode


Trivial merge