gustafn
committed
on 07 Dec 20
generalize correct_when handling: allow for every modifier a "-nocase" option