Processing commands for [email protected]: > retitle 1095768 gnome-shell-extensions: needs update for GNOME Shell 48 Bug #1095768 {Done: Jeremy Bícha <[email protected]>} [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 [email protected] with problems
