Bug#634179: Printing bold characters changes the colour of the following

[althaser]

Hey Nicolas,

Could you please try to reproduce this issue with newer version of
gnome-terminal like 3.4.1.1-2 or 3.10.1-1 ?

thanks
regards
althaser