it's no problem, i'll just leave it then -- thanks! On Wed, Jan 2, 2019 at 4:09 PM Juliusz Chroboczek <j...@irif.fr> wrote: > > > point it, it's already been applied - should i remove it or not? > > It doesn't hurt, so if you'd rather not bother with a new upload, feel > free to leave it as it is. > > Sorry again for the confusion, > > -- Juliusz
-- Sandro "morph" Tosi My website: http://sandrotosi.me/ Me at Debian: http://wiki.debian.org/SandroTosi G+: https://plus.google.com/u/0/+SandroTosi
