Change Details

T9592#140779 contains a counterexample, which renders correctly in the web UI bit uses yellow instead of red in the email notification: {F886844}