Control: tags -1 +moreinfo On Sat, Aug 27, 2022 at 2:34 AM Andrej Shadura <and...@shadura.me> wrote: > 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.>
Ok, but I didn't see any discussion in the usual places. Thank you, Jeremy Bicha