Fix 81d335b081: Use non-pulsating red highlight for coverage (#8622)
parent
f7ac2969ef
commit
b927da73c1
Loading…
Reference in New Issue