Merge pull request #8698 from ronie/keymap-jarvis
authorronie <ronie@poedel.net>
Tue, 29 Dec 2015 11:15:25 +0000 (12:15 +0100)
committerronie <ronie@poedel.net>
Tue, 29 Dec 2015 11:15:25 +0000 (12:15 +0100)
fix duplicate key mapping


Trivial merge