Processed: Re: Bug#818437: Nearly same behaviour

[Debian Bug Tracking System]

Processing control commands:

> reassign 818437 libmutter0g
Bug #818437 [gnome-shell] gnome-shell: crashes when unplugging external screen (bugs with VGA and HDMI)
Bug reassigned from package 'gnome-shell' to 'libmutter0g'.
Warning: Unknown package 'libmutter0g'
Warning: Unknown package 'libmutter0g'
No longer marked as found in versions gnome-shell/3.18.1-1.
Warning: Unknown package 'libmutter0g'
Warning: Unknown package 'libmutter0g'
Ignoring request to alter fixed versions of bug #818437 to the same values previously set
Warning: Unknown package 'libmutter0g'
> found 818437 3.18.1-1
Bug #818437 [libmutter0g] gnome-shell: crashes when unplugging external screen (bugs with VGA and HDMI)
Warning: Unknown package 'libmutter0g'
Marked as found in versions mutter/3.18.1-1.
Warning: Unknown package 'libmutter0g'
> close 818437 3.18.3-1
Bug #818437 [libmutter0g] gnome-shell: crashes when unplugging external screen (bugs with VGA and HDMI)
Warning: Unknown package 'libmutter0g'
Marked as fixed in versions mutter/3.18.3-1.
Warning: Unknown package 'libmutter0g'
Bug #818437 [libmutter0g] gnome-shell: crashes when unplugging external screen (bugs with VGA and HDMI)
Warning: Unknown package 'libmutter0g'
Marked Bug as done
Warning: Unknown package 'libmutter0g'

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