Package: gedit Version: 3.20.2-2 Dear Maintainer, there is an useful plugin for gedit: https://github.com/bittner/gedit-reST-plugin Would it be reaasonable to add it to standard plugin package, or as a new deb? I'm available for helping with early testing. Thanks. -- Paolo Cavallini - www.faunalia.eu QGIS & PostGIS courses: http://www.faunalia.eu/training.html
