Merge pull request #9828 from MrPetovan/bug/9733-tag-numbers
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Thu, 21 Jan 2021 16:09:51 +0000 (17:09 +0100)
committerGitHub <noreply@github.com>
Thu, 21 Jan 2021 16:09:51 +0000 (17:09 +0100)
Remove strictly numeric tags exception


Trivial merge