Processing commands for [email protected]: > # already uploaded before the bug was sent > close 1148615 51 Bug #1148615 [src:gnome-shell-extension-no-overview] gnome-shell-extension-no-overview: new upstream release with support for GNOME Shell 51 The source 'gnome-shell-extension-no-overview' and version '51' do not appear to match any binary packages Marked as fixed in versions gnome-shell-extension-no-overview/51. Bug #1148615 [src:gnome-shell-extension-no-overview] gnome-shell-extension-no-overview: new upstream release with support for GNOME Shell 51 Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 1148615: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1148615 Debian Bug Tracking System Contact [email protected] with problems

