Michael Biebl: > Hi > > [...] > > The remaining bugs have been bumped to serious, causing affected > packages to be AUTORMed on 02.09. > I guess we are ready to proceed with the removal. > > Regards, > Michael >
Thanks. :) I will probably do a 13.2.1 bug fix release without this change to avoid unnecessary hold up (some of the AUTORM counters have been reset). But I will include it in a feature update soonish (13.3 or so). Once again, thanks for handling this transition! ~Niels

