On 04/07/2016 19:37, Christoph Biedl wrote: > That was silently fixed in upstream commit 1:5.20-1 so this doesn't > happen any more, even in jessie.
Thanks for checking! > If you still encounter that, please re-open. The bug is fixed on my system, too. Thanks again, -- Laurent.
