On Thu, 2012-02-02 at 12:29 +0100, Michael Schwendt wrote:
"Renamed"? If so, it would be just another example why our
Renaming Process is flawed and only adds tiresome bureaucracy for
those who follow it.
I'm sorry for a confusion, it wasn't meant like real "rename of a
package", I did not know internals for the change, for me it was
"renamed", but as Matthias explained, it was not a package rename.