On Fri, Oct 23, 2020 at 08:08:58AM +0200, Andreas Tille wrote: > On Wed, Oct 21, 2020 at 11:09:57PM +0200, Moritz Mühlenhoff wrote: > > > > Given that there's been no upstream reaction for almost a year, let's > > remove? > > Agreed, Andreas.
Ack, I've just filed a removal bug.
Cheers,
Moritz
