-- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
The bug in KDE seems to be fixed now too, so that menu / KRunner items
are back. Although I am not sure, whether it is enough to upgrade
‘kde-workspace-bin’ to the version 4.11.13-2 or the issue was in some
other package.
