On Wed, 2 Nov 2016, Maximiliano Curia wrote:
[...]
> I think this is the same issue that was reported in:
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841502
Maybe though I did not create any konsole profile. The process reuse is
something they have in common though.
--
Francois Gouget <fgouget@free.fr> http://fgouget.free.fr/
I haven't lost my mind, it's backed up on tape around here somewhere...