Hi, On Sat, 27 Aug 2022, at 02:44, Jeremy Bicha wrote: > Please remove gnome-shell-extension-xrdesktop from Debian. > > The extension only works with gnome-shell-xrdesktop which was removed > from Debian with https://bugs.debian.org/1008471 > (The package depends on gnome-shell instead of gnome-shell-xrdesktop > like it should.)
Please hold off your horses a bit :) There appears to be a group of people interested in maintaining this, let's give them a chance to get properly started. -- Cheers, Andrej
