Stefan Beller <sbeller@xxxxxxxxxx> writes: >> Heh; I do not think there particularly is much difference between >> stricter flags and DEVELOPER flags, but I would rather not lose the >> removal of duplicated 'today' I did while I queued the previous one >> ;-) > > > I did not realize it was queued anywhere, please ignore then. I just did s/stricter/DEVELOPER/ on the one that have been queued. Thanks.