Bug#619434: when you press F1 in the box, gnome-terminal runs infinitely windows gnome-help.

[althaser]

Hey,

Could you please still reproduce this bug with gnome-terminal-3.4.1.1-2 ?

I couldn't reproduce it with 3.10.1-1.

thanks
regards
althaser