Bug#662667: Terminal font not rendered at correct size after upgrade to GNOME 3

[althaser]

Hey Josh,

could you please try to reproduce this bug with newer version like
gnome-terminal-3.4.1.1-2 or 3.10.1-1 ?

thanks
regards
althaser