Looks good, very minor nitpicks: 
 - "Debian/patches" instead of "debian/patches" and that the 
 - plugins/terminal/terminal.py change is directly in the patch (could be a 
CDBS glitch).

However it builds fine and seems all good, so I'll upload it.

Could you please see that the patch is forwarded upstream?
https://wiki.ubuntu.com/Bugs/Upstream/GNOME should have more info about
it.

-- 
Embedded Terminal: wrong gconf key
https://bugs.launchpad.net/bugs/155327
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

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

Reply via email to