Hello Björn, Björn Höfling <bjoern.hoefl...@bjoernhoefling.de> skribis:
> I have to look into the package sources to find out which of the two is > the not-deprecated one. Fixed in 0fb405796cdb5579c911b30da9d40b4a18cd7f07. Deprecated packages are entirely hidden in this case, which I think is the right thing: we don’t want people to use the deprecated name. Thank you! Ludo’.
