Are the build servers not running over the weekend?  I have not seen a new
build report today.  Given the imminent deadline, it would be nice if they
were run frequently right now.

Best,
Kasper

	[[alternative HTML version deleted]]

