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 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 ow...@bugs.debian.org with problems
