Processed: gnome-terminal: --tab-with-profile=profilename opens a new window

[Debian Bug Tracking System]

Processing commands for control@bugs.debian.org:

> notforwarded #275888
Bug#275888: gnome-terminal: --tab-with-profile=profilename opens a new window
Removed annotation that Bug had been forwarded to http://bugs.gnome.org/show_bug.cgi?id=309678.

> severity #275888
Unknown command or malformed arguments to command.

> retitle #275888 imprecise documentation of --tab-with-profile
Bug#275888: gnome-terminal: --tab-with-profile=profilename opens a new window
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)