Bug#1041574: gnome-shell-extension-hamster: needs update for GNOME Shell 44

2023-08-21 Thread Simon McVittie
Control: forwarded -1 https://github.com/projecthamster/hamster-shell-extension/pull/357 Control: tags -1 + patch fixed-upstream On Thu, 20 Jul 2023 at 23:29:30 +0100, Simon McVittie wrote: > This extension has not been checked for compatibility with GNOME Shell > 44. Depending how compatible it

Processed: Re: Bug#1041574: gnome-shell-extension-hamster: needs update for GNOME Shell 44

2023-08-21 Thread Debian Bug Tracking System
Processing control commands: > forwarded -1 > https://github.com/projecthamster/hamster-shell-extension/pull/357 Bug #1041574 [gnome-shell-extension-hamster] gnome-shell-extension-hamster: needs update for GNOME Shell 44 Set Bug forwarded-to-address to 'https://github.com/projecthamster/hamster

Processed: Re: Bug#1041574: gnome-shell-extension-hamster: needs update for GNOME Shell 44

2023-08-20 Thread Debian Bug Tracking System
Processing control commands: > severity -1 serious Bug #1041574 [gnome-shell-extension-hamster] gnome-shell-extension-hamster: needs update for GNOME Shell 44 Severity set to 'serious' from 'important' -- 1041574: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1041574 Debian Bug Tracking Sys