On Sun, May 26, 2024 at 06:43:50PM -0400, Andrew Dunstan wrote:
> Oops, sorry for the noise. I just looked at a few failures and this was what
> I saw.
Thanks for the heads-up. I saw the failures before your message,
panicked at first, and then noticed that it was unrelated.
--
Michael