[Pkg-mediawiki-devel] Processing of mediawiki-extensions_3.5~deb7u2_i386.changes

[Debian FTP Masters]

mediawiki-extensions_3.5~deb7u2_i386.changes uploaded successfully to localhost
along with the files:
  mediawiki-extensions_3.5~deb7u2.dsc
  mediawiki-extensions_3.5~deb7u2.tar.gz
  mediawiki-extensions-base_3.5~deb7u2_all.deb
  mediawiki-extensions-geshi_3.5~deb7u2_all.deb
  mediawiki-extensions-ldapauth_3.5~deb7u2_all.deb
  mediawiki-extensions-openid_3.5~deb7u2_all.deb
  mediawiki-extensions-collection_3.5~deb7u2_all.deb
  mediawiki-extensions-graphviz_3.5~deb7u2_all.deb
  mediawiki-extensions_3.5~deb7u2_all.deb

Greetings,

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