Hi Sébastien!
Thanks a lot for the release. I know you are trying to take a step back and I am sorry I could not take care of it.
As you maybe know these last days have been a bit crazy for me and Nacho. ..
Paolo
About gedit
===========
gedit is the official text editor of the GNOME desktop environment.
While aiming at simplicity and ease of use, gedit is a powerful
general purpose text editor which features full support for UTF-8,
configurable highlighting for various languages and many other
features making it a great editor for advanced tasks.
News
====
New Features and Fixes
======================
- Spell plugin: adapt code for gspell API changes
- CSS updates
- AppData: add project_group and translation tags
- Various other code improvements and bug fixes
New and updated translations
============================
- de (Mario Blättermann)
- el (Tom Tryfonidis)
- es (Daniel Mustieles)
- hu (Meskó Balázs)
- kk (Baurzhan Muftakhidinov)
- lv (Rūdolfs Mazurs)
- pl (Piotr Drąg)
- pt_BR (Rafael Fontenelle)
- sk (Dušan Kazik)
- zh_TW (Chao-Hsiung Liao)
Download
========
https://download.gnome.org/sources/gedit/3.19/gedit-3.19.4.tar.xz (2.97M)
sha256sum: 6dfbf81dd347830e11e7898ea580d669bfdb306230fc23fa8db6c2657407f367