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

Reply via email to