> > Is there consensus on making 9.0 the default for Wheezy? > > If I don't receive any objection by the end of the day (CEST), I'll > upload/commit the necessary changes to make 9.0 the default in Wheezy. I agree with making 9.0 the default for Wheezy. Petr