After quite a bit of discussion, it has been decided to update the 'stable' flavor of Rock using the rock1408 branch that has been branched off master at the beginning of August.
This has been done today. If you are on the stable flavor, you will get an update. The changelog will follow soon. Sylvain _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
