** Changed in: gnome-terminal (Ubuntu)
       Status: Needs Info => Fix Released

-- 
can't disable F10 shortcut
https://launchpad.net/bugs/83835

-- 
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to