notfound 625762 3.10.1-1 thanks Seems to be gone now. I don't really use gnome-terminal anymore though. I have become a XFCE user.
On Mon, Feb 17, 2014 at 3:45 PM, althaser <altha...@gmail.com> wrote: > Hey, > > Could you please try to reproduce this with newer version of gnome-terminal > like 3.4.1.1-2 or 3.10.1-1 ? > > I couldn't reproduce it with 3.10.1-1. > > thanks > regards > althaser > -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
