Hi Will,

On Tue, 2022-11-15 at 10:35 -0600, will schmidt wrote:
> On Sun, 2022-10-16 at 19:05 +0200, Mark Wielaard wrote:
> > > Our power8 is down, being rebuilt, etc.  it should be back after
> > > a time.
> > 
> > For now I disabled the gdb and valgrind power8 builders. Otherwise
> > they build queue just keeps growing. Please let us know when the
> > power8 worker is back and we'll reenable them again.
> 
> I've restarted the power8 buildbot on a new host, a moment ago.  It
> appears to be connected OK, and should be good to go.

Great, I enabled the gdb and valgrind builders again, as attached.

Cheers,

Mark