For anyone who stumbles upon this bug in quest of finding a solution to get the keys finally working, there is this utility - xbindkeys, which you can use until this bug gets resolved.
For anyone who stumbles upon this bug in quest of finding a solution to get the keys finally working, there is this utility - xbindkeys, which you can use until this bug gets resolved.