Processed: found 1032388 in 43.3-3, found 1032388 in 43.3-2

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 1032388 43.3-3
Bug #1032388 [src:mutter] gnome-shell: fails to switch keyboard layout from topbar menu
Marked as found in versions mutter/43.3-3.
> found 1032388 43.3-2
Bug #1032388 [src:mutter] gnome-shell: fails to switch keyboard layout from topbar menu
Marked as found in versions mutter/43.3-2.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1032388: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1032388
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems