No matches were found for subject:"\[Bug 1242655\] Re\: ubuntu 13.10 hotkeys \"ctrl\+alt\+shift\+up\/down arrow\" doesn't function"