@Peter So this is without the patch, no?
@Anders Kaseorg: Oops, I forgot to mention this earlier, but I tested your patch and at least for me I saw no difference in behaviour on my system, meant to comment on that sooner, sorry.
@Peter
So this is without the patch, no?
@Anders Kaseorg:
Oops, I forgot to mention this earlier, but I tested your patch and at least for me I saw no difference in behaviour on my system, meant to comment on that sooner, sorry.