(In reply to comment #1) > Thanks for your bugreport, which version of gnome-terminal do you use? I took > the report upstream: http://bugs.gnome.org/show_bug.cgi?id=317348
2.12.0-0ubuntu2
(should I reply here or the upstream bug?)
(In reply to comment #1) bugs.gnome. org/show_ bug.cgi? id=317348
> Thanks for your bugreport, which version of gnome-terminal do you use? I took
> the report upstream: http://
2.12.0-0ubuntu2
(should I reply here or the upstream bug?)