Processed: Re: Bug#1032388: gnome-shell: can't switch keyboard layout using top bar menu in Xorg mode with per-window input source

[Debian Bug Tracking System]

Processing control commands:

> retitle -1 gnome-shell: can't switch keyboard layout using top bar menu in Xorg mode with per-window input source
Bug #1032388 [src:mutter] gnome-shell: fails to switch keyboard layout from topbar menu
Changed Bug title to 'gnome-shell: can't switch keyboard layout using top bar menu in Xorg mode with per-window input source' from 'gnome-shell: fails to switch keyboard layout from topbar menu'.

-- 
1032388: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1032388
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems