Thank you for your bug report. That should probably be reported upstream on https://bugs.freedesktop.org/enter_bug.cgi?product=xkeyboard-config
Thank you for your bug report. That should probably be reported upstream on https:/ /bugs.freedeskt op.org/ enter_bug. cgi?product= xkeyboard- config