[Pkg-mozext-maintainers] Processing of sage-extension_1.4.12-3+deb7u1_amd64.changes

[Debian FTP Masters]

sage-extension_1.4.12-3+deb7u1_amd64.changes uploaded successfully to localhost
along with the files:
  sage-extension_1.4.12-3+deb7u1.dsc
  sage-extension_1.4.12-3+deb7u1.debian.tar.gz
  xul-ext-sage_1.4.12-3+deb7u1_all.deb
  firefox-sage_1.4.12-3+deb7u1_all.deb

Greetings,

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