<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">

<html>

<body>

<div dir="auto">

Are the buildbots down again? And do we have some notification mechanism - a chat group, another mailing list, irc, whatever - to keep us informed of the status?

</div></body>

</html>