Processing of gnome-shell_3.4.2-7+deb7u2_amd64.changes

[Debian FTP Masters]

gnome-shell_3.4.2-7+deb7u2_amd64.changes uploaded successfully to localhost
along with the files:
  gnome-shell_3.4.2-7+deb7u2.dsc
  gnome-shell_3.4.2-7+deb7u2.debian.tar.gz
  gnome-shell-common_3.4.2-7+deb7u2_all.deb
  gnome-shell_3.4.2-7+deb7u2_amd64.deb
  gnome-shell-dbg_3.4.2-7+deb7u2_amd64.deb

Greetings,

	Your Debian queue daemon (running on host franck.debian.org)