From: Tom Kent (lists_at_[hidden])
Date: 2023-01-14 13:13:49
On Mon, Nov 7, 2022 at 7:04 AM Peter Dimov <pdimov_at_[hidden]> wrote:
> Tom Kent wrote:
>
> > Looks like these have stopped again. Last run was Oct 29.
>
> Should be fixed now.
>
Looks like these are down again as of Jan 5. Where do these run? I'm not
even sure to look and see what the error might be.
Thanks,
Tom