On 2019-01-25, at 1:08 AM, Tobias Pape Das.Linux@gmx.de wrote:

Hi

...

On 25.01.2019, at 10:03, marcel.taeumel Marcel.Taeumel@hpi.de wrote:

Hi, there.

Is it time to unload the packages "45Deprecated" and "46Deprecated" to see how it works out in the next weeks and months?

Yes, please!

I agree; remove now, have time to see if it really causes any problems.

tim -- tim Rowledge; tim@rowledge.org; http://www.rowledge.org/tim Fractured Idiom:- QUIP PRO QUO - A fast retort