Processing commands for control@bugs.debian.org: > severity 212256 serious Bug#212256: Cannot remove multi-gnome-terminal Severity set to `serious'. > merge 212936 212256 Bug#212256: Cannot remove multi-gnome-terminal Bug#212936: fails to un-install Merged 212256 212936. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)