Here is reported too: https://launchpad.net/ubuntu/+source/hotkey- setup/+bug/88105
-- hotkey-setup package does not update from 0.1-17ubuntu3 to hotkey-setup_0.1-17ubuntu5 https://launchpad.net/bugs/88496 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs