OK, done. I pushed to the main packaging branch so that the work is
easily findable. Won't upload until the MIR is done though.

In the meantime, testing appreciated. I took the fix from
https://bugzilla.gnome.org/show_bug.cgi?id=745381 - maybe check this is
ok on gnome-shell.

** Bug watch added: GNOME Bug Tracker #745381
   https://bugzilla.gnome.org/show_bug.cgi?id=745381

** Changed in: gedit (Ubuntu)
     Assignee: Iain Lane (laney) => (unassigned)

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1582449

Title:
  Update to 3.20

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1582449/+subscriptions

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

Reply via email to