On Fri, Feb 14, 2014 at 12:01:12PM +0000, althaser wrote: > Hey Adam, > > Could you please try to reproduce this bug with newer version of > gnome-terminal like 3.4.1.1-2 or 3.10.1-1 ?
3.10.1-1 seems to work fine, couldn't reproduce. On the same system, which, running unstable, is not really the same as when the bug was reproducible. -- A tit a day keeps the vet away. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
