Processed: Re: gnome-terminal: Gnome freezes if tab closes when user is in 'open tab' menu

[Debian Bug Tracking System]

Processing commands for control@bugs.debian.org:

> tags 284956 + confirmed
Bug#284956: gnome-terminal: Gnome freezes if tab closes when user is in 'open tab' menu
Tags were: moreinfo unreproducible
Tags added: confirmed

> tags 284956 - unreproducible moreinfo
Bug#284956: gnome-terminal: Gnome freezes if tab closes when user is in 'open tab' menu
Tags were: confirmed moreinfo unreproducible
Tags removed: unreproducible, moreinfo

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)