Processed: reassign 1139572 to mutter, closing 1139572

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # Got the forcemerge the wrong way around, sorry
> reassign 1139572 mutter
Bug #1139572 {Done: Simon McVittie <smcv at debian.org>} [gnome-shell] Thousands of assertions: clutter_input_focus_set_cursor_location: assertion 'CLUTTER_IS_INPUT_FOCUS (focus)' failed
Bug reassigned from package 'gnome-shell' to 'mutter'.
No longer marked as found in versions gnome-shell/50.2-3.
Ignoring request to alter fixed versions of bug #1139572 to the same values previously set
> close 1139572 50.2-3
Bug #1139572 {Done: Simon McVittie <smcv at debian.org>} [mutter] Thousands of assertions: clutter_input_focus_set_cursor_location: assertion 'CLUTTER_IS_INPUT_FOCUS (focus)' failed
Marked as fixed in versions mutter/50.2-3.
Bug #1139572 {Done: Simon McVittie <smcv at debian.org>} [mutter] Thousands of assertions: clutter_input_focus_set_cursor_location: assertion 'CLUTTER_IS_INPUT_FOCUS (focus)' failed
Bug 1139572 is already marked as done; not doing anything.
> thanks
Stopping processing here.

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