Gedit 3.9.3 Brings Various Bugfixes and Improvements

Gedit 3.9.3 Brings Various Bugfixes and Improvements

This development release fixes file-browser and the external tools plugins