K 10 svn:author V 4 bapt K 8 svn:date V 27 2020-09-29T14:29:24.424744Z K 7 svn:log V 195 Upgrade gedit and its plugins to 3.38 as gedit requires a newer version of tepl upgrade tepl to 5.0.0 And because the only consumer of the previous version was gnome-latex, Upgrade it to 3.38.0 END