Dec. 21, 2010
8:46 a.m.
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.