Comment 6 for bug 1092719

Revision history for this message
Jeremy BĂ­cha (jbicha) wrote :

And gnome-terminal 3.8 would have been nice but bug 1132700 is still open.