Bug#801781: Probably fixed

2015-10-22 Thread artghio
On Thu, 22 Oct 2015 08:18:48 +0200 Matthias May wrote: This seems to be fixed for me after upgrading 22.10.2015 The same for me! $ apt-cache policy kate kate: Installed: 4:15.08.2-1 Candidate: 4:15.08.2-1 Version table: *** 4:15.08.2-1 0 990 http://ftp.it.debian.org/debian/ tes

Bug#801781: Probably fixed

2015-10-21 Thread Matthias May
This seems to be fixed for me after upgrading 22.10.2015