Processing commands for cont...@bugs.debian.org: > user pkg-gnome-maintain...@lists.alioth.debian.org Setting user to pkg-gnome-maintain...@lists.alioth.debian.org (was s...@debian.org). > usertags 993065 + gnome-shell-43 Usertags were: gnome-shell-40. Usertags are now: gnome-shell-40 gnome-shell-43. > retitle 993065 gnome-shell-extension-xrdesktop: Please update for gnome-shell > 43 Bug #993065 [src:gnome-shell-extension-xrdesktop] gnome-shell-extension-xrdesktop: Please update for gnome-shell 41 Changed Bug title to 'gnome-shell-extension-xrdesktop: Please update for gnome-shell 43' from 'gnome-shell-extension-xrdesktop: Please update for gnome-shell 41'. > 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 ow...@bugs.debian.org with problems
