Tested on plain Debian 7.6.0, Crunchbang (Debian Base), as well as Linux Mint
Debian Edition. Unable to reproduce on any of these distributions.
Tested on second machine with a different keyboard; same issue. Swapped keyboard
with PS/2 one instead of usb, just to test; same issue. |