Processing control commands: > tags -1 - upstream Bug #711508 [gnome-terminal] gnome-terminal: man page is outdated Removed tag(s) upstream. -- 711508: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=711508 Debian Bug Tracking System Contact owner at bugs.debian.org with problems