The issue should probably be reported to upstream on https://bugs.freedesktop.org/enter_bug.cgi?product=xkeyboard-config
The issue should probably be reported to upstream on https:/ /bugs.freedeskt op.org/ enter_bug. cgi?product= xkeyboard- config