gnome-shell_3.20.1-1_source.changes uploaded successfully to localhost along with the files: gnome-shell_3.20.1-1.dsc gnome-shell_3.20.1.orig.tar.xz gnome-shell_3.20.1-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host franck.debian.org)