Merge pull request #3817 from WoltLab/count-category-options
authorMarcel Werk <burntime@woltlab.com>
Fri, 18 Dec 2020 11:16:38 +0000 (12:16 +0100)
committerGitHub <noreply@github.com>
Fri, 18 Dec 2020 11:16:38 +0000 (12:16 +0100)
Improved detection of empty option categories


Trivial merge