Closed andreasabel closed 2 months ago
Now, if you try to switch an unknown warning, you get a WarningProblem rather than a hard error. Same if you try to switch a non-benign warning.
WarningProblem
Closes #7219.
Now, if you try to switch an unknown warning, you get a
WarningProblem
rather than a hard error.Same if you try to switch a non-benign warning.
Closes #7219.