On Mon, Dec 17, 2012 at 07:49:33PM +0100, Julien Cristau wrote: > Please send this upstream to > https://bugs.freedesktop.org/enter_bug.cgi?product=xkeyboard-config&component=General > > Let us know the bug number for tracking. > > Thanks, > Julien Have done! https://bugs.freedesktop.org/show_bug.cgi?id=58441 Julian