Do not show no-problems variants in problems select box
authorBenjamin Auder <benjamin.auder@somewhere>
Fri, 27 Mar 2020 19:00:38 +0000 (20:00 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Fri, 27 Mar 2020 19:00:38 +0000 (20:00 +0100)

No differences found