I should have mentioned this earlier:
gnome-text-editor just got promoted to main for Ubuntu 22.10 (previously we used a different app, gedit).
gnome-text-editor 42 has an embedded copy of editorconfig-core (using the old pcre3). gnome-text-editor 43 is using the system library (which uses the new pcre2).
I should have mentioned this earlier:
gnome-text-editor just got promoted to main for Ubuntu 22.10 (previously we used a different app, gedit).
gnome-text-editor 42 has an embedded copy of editorconfig-core (using the old pcre3). gnome-text-editor 43 is using the system library (which uses the new pcre2).