On Mon, Sep 30, 2019 at 07:24:07PM +0200, Paul Boddie wrote: > The principal developer has indicated to me that given the policy here, he > and > I will just have to accept that the package will be removed. However, I won't > be tagging or retitling anything. If someone else responsible for this > initiative wants to do so then they can press the appropriate buttons.
I just filed a removal bug.
Cheers,
Moritz
