> 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
No worries! I seem to have fudged the subject in my last mail so it seems fat-fingers are abound. Thanks again.