Processed: Re: Bug#769947: mate-terminal: Segfaults after update

[Debian Bug Tracking System]

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 owner at bugs.debian.org with problems