Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > usertags 996063 + gnome-shell-43 Usertags were: gnome-shell-41. Usertags are now: gnome-shell-41 gnome-shell-43. > retitle 996063 gnome-shell-extension-hijra: Please update for gnome-shell 43 Bug #996063 [gnome-shell-extension-hijra] gnome-shell-extension-hijra: does not declare compatibility with GNOME Shell 41 Changed Bug title to 'gnome-shell-extension-hijra: Please update for gnome-shell 43' from 'gnome-shell-extension-hijra: does not declare compatibility with GNOME Shell 41'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 996063: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=996063 Debian Bug Tracking System Contact [email protected] with problems
