Ubuntu
gnome-terminal package

  1. Bug #290777
  2. Comment #1

Comment 1 for bug 290777

Revision history for this message
Pedro Villavicencio (pedro) wrote : Re: gnome terminal paste and profile preferences

thanks for your report, confirming, will send upstream.