On Friday 07 March 2014 09:49:06 Kevin Krammer wrote: > > Either way, that should probably be filed as a bug report (there could > already be one).
https://bugs.kde.org/show_bug.cgi?id=331845 Thanks for looking into it. Michael -- Michael Schuerig mailto:mich...@schuerig.de http://www.schuerig.de/michael/ -- To UNSUBSCRIBE, email to debian-kde-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/21792240.RtjXXo0qos@fuchsia