Processing commands for
control@bugs.debian.org:
retitle 1095768 gnome-shell-extensions: needs update for GNOME Shell 48
Bug #1095768 {Done: Jeremy Bícha <
jeremy.bicha@canonical.com>} [src:gnome-shell-extensions] gnome-shell-extensions-extra: needs update for GNOME Shell 48
Changed Bug title to 'gnome-shell-extensions: needs update for GNOME Shell 48' from 'gnome-shell-extensions-extra: needs update for GNOME Shell 48'.
End of message, stopping processing here.
Please contact me if you need assistance.
--
1095768:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1095768
Debian Bug Tracking System
Contact
owner@bugs.debian.org with problems
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)