Processing commands for [email protected]: > retitle 993065 gnome-shell-extension-xrdesktop: Please update for gnome-shell > 41 Bug #993065 [src:gnome-shell-extension-xrdesktop] gnome-shell-extension-xrdesktop: Please update for gnome-shell 40 Changed Bug title to 'gnome-shell-extension-xrdesktop: Please update for gnome-shell 41' from 'gnome-shell-extension-xrdesktop: Please update for gnome-shell 40'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 993065: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993065 Debian Bug Tracking System Contact [email protected] with problems
