Marco, that is the unstable version, the latest stable version is 2.20.3. (gedit has been updated to 2.20.3). I'm raising this because we're spending a lot of time marking duplicate bugs in Gnome... :(
-- Please upgrade to upstream 2.20.3 version https://bugs.launchpad.net/bugs/181698 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
