it's no problem, i'll just leave it then -- thanks!
On Wed, Jan 2, 2019 at 4:09 PM Juliusz Chroboczek <[hidden email]> 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