Processed: user release.debian.org@packages.debian.org, usertagging 923805 ...

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was jmw@debian.org).
> 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 owner@bugs.debian.org with problems