Subject: [PATCH 0/5] Update gedit & friends

From: Liliana Marie Prikler <[email-masked]>
Date: Wed, 11 Jan 2023 22:05:56 +0100

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.

 gnu/packages/gnome.scm | 30 +++++++++++++++++-------------
 1 file changed, 17 insertions(+), 13 deletions(-)

base-commit: 5e4ec8218142eee8e6e148e787381a5ef891c5b1
-- 
2.38.1