The infrastructure work on the buildbot network has completed succesfully. Two short outages of about 10 minutes have been the result of our maintenance. Everything so far is back in working order. -- Arnd Marijnissen