Bug#1052107: gnome-shell-extension-shortcuts: needs update for GNOME Shell 45

2023-09-24 Thread Jeremy Bícha
Control: tags -1 fixed-upstream This issue has been fixed in the new upstream version 1.4.1 Thank you, Jeremy Bícha

Bug#1052107: gnome-shell-extension-shortcuts: needs update for GNOME Shell 45

2023-09-17 Thread Simon McVittie
Package: gnome-shell-extension-shortcuts Version: 1.3.7-1 Severity: important Tags: trixie sid upstream User: pkg-gnome-maintain...@lists.alioth.debian.org Usertags: gnome-shell-45 As with every 6-month GNOME Shell release cycle, extensions will need to be updated for GNOME Shell 45, which is curr