Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > usertags 923805 unblock There were no usertags set. Usertags are now: unblock. > retitle 923805 unblock: gnome-shell-extension-desktop-icons/19.01.1-1 Bug #923805 [release.debian.org] age: gnome-shell-extension-desktop-icons/19.01.1-1 Changed Bug title to 'unblock: gnome-shell-extension-desktop-icons/19.01.1-1' from 'age: gnome-shell-extension-desktop-icons/19.01.1-1'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 923805: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=923805 Debian Bug Tracking System Contact [email protected] with problems
