On Tue, Jun 28, 2022 at 9:24 PM Eric Covener <cove...@gmail.com> wrote:
>
> Ran out of time but I added a crude check to the branch in 1902326.

Argh, I missed your message (which showed up after I sent mine..).
Well, two solutions are better than none :)

Reply via email to