bug#60744: [PATCH 0/5] Update gedit & friends

[Liliana Marie Prikler]

Am Mittwoch, dem 11.01.2023 um 22:05 +0100 schrieb Liliana Marie
Prikler:
> Hi Guix,
> 
> I noticed that gedit is mildly outdated, so here are some packages to
> make it not so.  If anyone wants to chime in and also update gnome-
> builder, that'd be very appreciated, but for now it at least appears
> to (still) build.
> 
> Cheers
> 
> Liliana Marie Prikler (5):
>   gnu: tepl: Update to 6.4.0.
>   gnu: amtk: Update to 5.6.1.
>   gnu: gedit: Update to 44.1.
>   gnu: devhelp: Update to 43.0.
>   gnu: gnome-latex: Update to 3.44.0.
I pushed these five now.

Cheers