Bug#478478: gnome-terminal: copy/paste using the middle mouse button is broken.

[althaser]

Hey,

Could you 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