Fix label for filtering on verification status in shadow differences#3000

nickygerritsen merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

nickygerritsen:fix-shadow-differences-filtersnickygerritsen/domjudge:fix-shadow-differences-filtersCopy head branch name to clipboard