Control: tags -1 +moreinfo
On Sat, Aug 27, 2022 at 2:34 AM Andrej Shadura 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
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
Package: ftp.debian.org
X-Debbugs-Cc: gnome-shell-extension-xrdesk...@packages.debian.org
Affects: src:gnome-shell-extension-xrdesktop
Please remove gnome-shell-extension-xrdesktop from Debian.
The extension only works with gnome-shell-xrdesktop which was removed
from Debian with
3 matches
Mail list logo