On Tue, Feb 11, 2014 at 03:51:33PM +0100, Salvo Tomaselli wrote: > Well if a bug can be solved by killing the buggy process and getting better > functionality than when the process is running is certainly a very very bad > bug!
As mentioned before: File a bug. -- Regards, Olav -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20140211151850.gj24...@bkor.dhs.org