Processed: Re: Bug#769947: mate-terminal: Segfaults after update
Processing control commands:
tag -1 - moreinfo
Bug #769947 {Done: Mike Gabriel sunwea...@debian.org} [mate-terminal]
mate-terminal: Segfaults after update
Removed tag(s) moreinfo.
--
769947: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=769947
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Processed: Re: Bug#769947: mate-terminal: Segfaults after update
Processing control commands:
reopen -1
Bug #769947 {Done: Mike Gabriel mike.gabr...@das-netzwerkteam.de}
[mate-terminal] mate-terminal: Segfaults after update
Bug reopened
Ignoring request to alter fixed versions of bug #769947 to the same values
previously set
tag -1 patch
Bug #769947 [mate-terminal] mate-terminal: Segfaults after update
Added tag(s) patch.
--
769947: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=769947
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Processed: Re: Bug#769947: mate-terminal: Segfaults after update
Processing control commands: close -1 Bug #769947 [mate-terminal] mate-terminal: Segfaults after update Marked Bug as done -- 769947: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=769947 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Processed: Re: Bug#769947: mate-terminal: Segfaults after update
Processing control commands: severity -1 grave Bug #769947 [mate-terminal] mate-terminal: Segfaults after update Severity set to 'grave' from 'important' tag -1 moreinfo Bug #769947 [mate-terminal] mate-terminal: Segfaults after update Added tag(s) moreinfo. -- 769947: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=769947 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
