Thanks!!! Miry
El jue., 29 ago. 2019 a las 23:05, Moritz Mühlenhoff (<j...@inutil.org>) escribió: > > On Thu, Aug 29, 2019 at 10:58:03PM +0200, Miriam Ruiz wrote: > > It's okay for me to remove it from the archive. I think it would be > > the best. As you say, it seems to be dead upstream. > > Ack, I've just filed a removal bug. > > Cheers, > Moritz
