On Fri, Mar 8, 2024 at 10:43 AM David Rowley <dgrowleyml@gmail.com> wrote:
>
> On Fri, 8 Mar 2024 at 16:37, John Naylor <johncnaylorls@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.