What about opening a merge window on the week of the 20th (two weeks from now) ? It will already be overdue by one and a half month ...
Sylvain _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
