[Bug 85913] gnome-terminal crash after trying to change the current profile

[Igor Guerrero]

Public bug reported:

Binary package hint: gnome-terminal

This is random because only this time happened to me, I was only trying
to change my profile preferences, and the terminal crash.

** Affects: gnome-terminal (Ubuntu)
     Importance: Undecided
         Status: Unconfirmed

-- 
gnome-terminal crash after trying to change the current profile
https://launchpad.net/bugs/85913