On Mon, Mar 21, 2022 at 2:34 AM Andrew Dunstan <and...@dunslane.net> wrote: > On 3/20/22 05:36, Thomas Munro wrote: > > On Sun, Mar 20, 2022 at 5:20 PM Thomas Munro <thomas.mu...@gmail.com> wrote: > >> I'll try to come up with the perl needed to see the regression.diffs > >> next time... > > Here's my proposed change to achieve that. > > I think that's OK.
Thanks for looking! Pushed.
