<div dir="ltr">Hey Valentin,<div><br></div><div>Could you please still try to reproduce this bug with newer version like gnome-terminal-3.4.1.1-2 or 3.10.1-1 ?</div><div><br></div><div>thanks</div><div>regards</div><div>althaser</div>

<div><br></div></div>