On Wed, Jun 1, 2022 at 12:55 AM Robert Haas <robertmh...@gmail.com> wrote: > OK, I have access to the box now. I guess I might as well leave the > crontab jobs enabled until the next time this happens, since Thomas > just took steps to improve the logging, but I do think these BF > members are overdue to be killed off, and would like to do that as > soon as it seems like a reasonable step to take.
A couple of months later, there has been no repeat of that error. I'd happily forget about that and move on, if you want to decommission these.
