Moritz Mühlenhoff Sun, 13 Oct 2019 04:58:09 -0700
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
