Processing commands for [email protected]: > retitle 993204 gnome-shell-timer: does not declare compatibility with GNOME > Shell 41 Bug #993204 [gnome-shell-timer] gnome-shell-timer: does not declare compatibility with GNOME Shell 40 Bug #996079 [gnome-shell-timer] gnome-shell-timer: does not declare compatibility with GNOME Shell 41 Changed Bug title to 'gnome-shell-timer: does not declare compatibility with GNOME Shell 41' from 'gnome-shell-timer: does not declare compatibility with GNOME Shell 40'. Ignoring request to change the title of bug#996079 to the same title > thanks Stopping processing here.
Please contact me if you need assistance. -- 993204: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993204 996079: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=996079 Debian Bug Tracking System Contact [email protected] with problems
