Subject: [bug#68556] [PATCH gnome-team v3 5/7] gnu: Remove gnome-shell-extension-jiggle.

From: Vivien Kraus <[email-masked]>
Date: Sat, 20 Jan 2024 01:53:45 +0100

Le samedi 20 janvier 2024 à 01:41 +0100, Liliana Marie Prikler a
écrit :
> > -         (add-after 'unpack 'fix-version
> > -           (lambda _
> > -             (substitute* "metadata.json"
> > -               (("\"40.0\"") "\"40\", \"41\""))))
> For the record, you have tried updating these, before removing the
> extension, right?

I had not; but now I did and they do not do their job at all.