Mark, gnome-text-editor 42 is already in Ubuntu main with a bundled copy of editorconfig-c. Is it ok to keep that bundled copy for Ubuntu 22.10? Next week I was going to work on trying to update gnome-text-editor to 43 with an updated bundled copy.
Mark, gnome-text-editor 42 is already in Ubuntu main with a bundled copy of editorconfig-c. Is it ok to keep that bundled copy for Ubuntu 22.10? Next week I was going to work on trying to update gnome-text-editor to 43 with an updated bundled copy.