Your message dated Fri, 3 Sep 2021 12:56:31 +0200 with message-id <[email protected]> and subject line Closing, ROM filed for package has caused the Debian Bug report #993196, regarding gnome-shell-extension-remove-dropdown-arrows: does not declare compatibility with GNOME Shell 40 to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 993196: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993196 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: gnome-shell-extension-remove-dropdown-arrows Version: 13-1 Severity: important The metadata.json for this extension doesn't declare compatibility with GNOME 40. I don't know whether the actual code will need changes. In many versions of GNOME Shell, metadata.json didn't matter much, because validation of extensions' metadata against the installed Shell version was disabled by default; but in GNOME 40 the default has changed back to enabling the version check by default, in an effort to avoid issues caused by outdated extensions remaining enabled. When we do the GNOME 40 transition, hopefully soon, we will have to either update this extension or remove it from testing. It would be useful to get a fixed version into experimental. Thanks, smcv
--- End Message ---
--- Begin Message --- Closing bug, since this extension will now be removed as it's no longer needed since gnome-shell version 40.-Jonathan
--- End Message ---
