Processing of gnome-shell-extensions_3.12.0-1_amd64.changes

[Debian FTP Masters]

gnome-shell-extensions_3.12.0-1_amd64.changes uploaded successfully to localhost
along with the files:
  gnome-shell-extensions_3.12.0-1.dsc
  gnome-shell-extensions_3.12.0.orig.tar.xz
  gnome-shell-extensions_3.12.0-1.debian.tar.xz
  gnome-shell-extensions_3.12.0-1_all.deb

Greetings,

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