Ubuntu
gedit package

  1. Bug #1822753
  2. Comment #2

Comment 2 for bug 1822753

Revision history for this message
Andrea Azzarone (azzar1) wrote :

General fix proposed upstream: https://gitlab.gnome.org/GNOME/gedit/merge_requests/35