Comment 9 for bug 1013881

Sorry, pushed some wrong key.

[The choice…] was between 2.5-1ubuntu1 (precise) and 2.5-1ubuntu2 (precise-proposed). On https://help.ubuntu.com/community/UbuntuUpdates, I read: « Enabling the proposed updates repository can break your system. It is not recommended for inexperienced users. » I didn’t know this. I unchecked Proposed in my updates choices for the future.

The update was introducing "level5(rctrl_switch)" in response to a long complicated discussion (https://bugs.freedesktop.org/show_bug.cgi?id=15804) about some applications using some Ctrl+space shortcut. To me it seems that everybody expects to have two Ctrl keys on a regular PC keyboard. Suppressing the right Ctrl should be an option for those who need it, not the default.