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