Bug#1041567: gnome-shell-extension-arc-menu: needs update for GNOME Shell 44

2023-08-20 Thread Simon McVittie
Control: severity -1 serious Control: tags -1 + fixed-upstream On Thu, 20 Jul 2023 at 23:24:52 +0100, Simon McVittie wrote: > This extension has not been checked for compatibility with GNOME Shell > 44. Depending how compatible it is, it will either need an update to > its metadata.json and

Bug#1041567: gnome-shell-extension-arc-menu: needs update for GNOME Shell 44

2023-07-30 Thread Jeremy Bícha
It looks like the new upstream repo for this extension is https://gitlab.com/arcmenu/ArcMenu Thank you, Jeremy Bícha

Bug#1041567: gnome-shell-extension-arc-menu: needs update for GNOME Shell 44

2023-07-20 Thread Simon McVittie
On Thu, 20 Jul 2023 at 23:24:52 +0100, Simon McVittie wrote: > If a new upstream version is compatible with Shell 43 but not 44, > please upload to experimental for now. That should of course have said: if the new version is compatible with *44* but not *43*, please upload to experimental for

Bug#1041567: gnome-shell-extension-arc-menu: needs update for GNOME Shell 44

2023-07-20 Thread Simon McVittie
Package: gnome-shell-extension-arc-menu Version: 49+forkv29-3 Severity: important Tags: trixie sid User: pkg-gnome-maintain...@lists.alioth.debian.org Usertags: gnome-shell-44 This extension has not been checked for compatibility with GNOME Shell 44. Depending how compatible it is, it will either