Yes, sounds like a doc issue to me. Thanks for the tip!
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
- Bug#494381: gnome-orca: gnome-terminal script has no way t... Samuel Thibault
- Bug#494381: gnome-orca: gnome-terminal script has no ... Sam Hartman
