Bug#875219: Should we file a removal bug?

[Moritz Mühlenhoff]

On Tue, Sep 17, 2019 at 12:06:20PM -0300, Lisandro Damián Nicanor Pérez Meyer 
wrote:
> Hi! We have seen no activity in this bug, should we file a removal bug?
> 
> Cheers, Lisandro.

I've filed a removal bug now.

Cheers,
Moritz

Bug#875219: Should we file a removal bug?

[Lisandro Damián Nicanor Pérez Meyer]

Hi! We have seen no activity in this bug, should we file a removal bug?

Cheers, Lisandro.

-- 
Lisandro Damián Nicanor Pérez Meyer
http://perezmeyer.com.ar/
http://perezmeyer.blogspot.com/