Processing commands for [email protected]: > close 1139589 20260514-1 Bug #1139589 [src:gnome-shell-extensions-extra] gnome-shell-extensions: Uninstallable Marked as fixed in versions gnome-shell-extensions-extra/20260514-1. Bug #1139589 [src:gnome-shell-extensions-extra] gnome-shell-extensions: Uninstallable Marked Bug as done > 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
