Subject: [bug#68551] [PATCH gnome-team] gnu: gnome-desktop: Propagate gnome-remote-desktop and gnome-connections.

From: Vivien Kraus <[email-masked]>
Date: Mon, 22 Jan 2024 22:57:45 +0100

Hello!

Le samedi 20 janvier 2024 à 20:46 +0100, Liliana Marie Prikler a
écrit :
> [2] markets devhelp as
> "developer extra", and only lists gnome-connections out of the two.
It would be sad to have only gnome-connections and not gnome-remote-
desktop. What remote desktop would you access?

> The actual source of truth appears to be encoded in yaml files over
> at
> [3] and is appropriately version-tagged.
Can you decipher it? I don’t understand where you would find the
information.

Best regards,

Vivien