On Fri, Mar 8, 2024 at 10:43 AM David Rowley <dgrowle...@gmail.com> wrote: > > On Fri, 8 Mar 2024 at 16:37, John Naylor <johncnaylo...@gmail.com> wrote: > > Thanks, I was getting close to committing a hackish workaround -- this > > seems better! > > ok cool. I also noticed a typo. Maybe worth fixing that at the same time? > > Attached.
Done, thanks! As I mentioned, I was very close, and in fact accidentally committed both, so egg on my face :-( -- but have reverted the first one.