Processing commands for [email protected]: > found 1139589 20250312-2 Bug #1139589 {Done: Daniel Baumann <[email protected]>} [src:gnome-shell-extensions-extra] gnome-shell-extensions: Uninstallable Marked as found in versions gnome-shell-extensions-extra/20250312-2. > notfound 1139589 20260514-1 Bug #1139589 {Done: Daniel Baumann <[email protected]>} [src:gnome-shell-extensions-extra] gnome-shell-extensions: Uninstallable No longer marked as found in versions gnome-shell-extensions-extra/20260514-1. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1139589: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1139589 Debian Bug Tracking System Contact [email protected] with problems
