[bug#60148] [PATCH] gnu: gnome-shell-extension: Update to 20

[Ludovic Courtès]

Hi,

Sughosha <Sughosha@proton.me> skribis:

> It seems the developer released it for GNOME 43 
> (https://github.com/hslbck/gnome-shell-extension-radio/blob/1233305a9f186732fb2d44bf574751e744ca36e7/radio%40hslbck.gmail.com/metadata.json#L2),
>  but for me it is working fine with `gsettings set org.gnome.shell 
> disable-extension-version-validation false`. The version currently available 
> in Guix (v19) is anyways broken, so I would recommend updating it.

[...]

> Liliana Marie Prikler <liliana.prikler@gmail.com> schrieb am Samstag, 24. 
> Dezember 2022 um 07:35:

[...]

>> I tried this in a VM and it warned me about a version incompatibility.

Liliana, what would you suggest?  If the currently-packaged version is
already “broken”, then maybe we should apply this upgrade?

TIA,
Ludo’.