Comment 12 for bug 20282

Revision history for this message
Martijn vdS (martijn) wrote :

Then it gets set to 0xdf, but the computer still does nothing (no log message,
etc.) when I press the key.