On Sat, Feb 27, 2021 at 07:26:42PM +0000, George Brown wrote: > > hi. diff committed, with one change: we did not add "must" (just removed > > "usually"). > > > > jmc > > Thanks Jason. Though browsing cvsweb it seems the commit did include the > "must" not sure if the decision changed after sending your mail or the > wrong diff got applied? >
thanks, i totally messed up my commit. i've fixed that now. sorry that i also didn;t credit you as the author of the diff! thanks for your diff and the follow up. jmc
