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... :(
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... :(