[15:58] <lucifer_lin> i heard gedit is unmaintained ? what text editor is shipping with ubuntu 18.04 or Ubuntu 17.10 ?
[17:28] <jbicha> gedit is still the default text editor
[17:29] <jbicha> a lot of software is undermaintained, but gedit's development looks reasonably active to me:
[17:29] <jbicha> https://git.gnome.org/browse/gedit/log
[17:30] <jbicha> oh I guess I'm talking to myself 😐
[20:33] <el> can the ops for here please consider setting +t
[20:38] <flocculant> thanks dax :)