Processed: Re: Bug#1041573: gnome-shell-extension-gamemode: needs update for GNOME Shell 44

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

Bug#1041573: gnome-shell-extension-gamemode: needs update for GNOME Shell 44

2023-08-21 Thread Simon McVittie
Control: forwarded -1 https://github.com/gicmo/gamemode-extension/pull/65 Control: tags -1 + patch fixed-upstream On Thu, 20 Jul 2023 at 23:28:48 +0100, Simon McVittie wrote: > This extension has not been checked for compatibility with GNOME Shell > 44. Depending how compatible it is, it will eith

Processed: Re: Bug#1041573: gnome-shell-extension-gamemode: needs update for GNOME Shell 44

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