On Dec 21, 2010, at 3:17 AM, Guillermo Polito wrote:

Ufa :(.

Dev build is broken, but I cannot reproduce it.

The build 1.5 hours ago succeeded.

Marcus

Marcus Denker -- http://www.marcusdenker.de
INRIA Lille -- Nord Europe. Team RMoD.