[Pkg-mediawiki-devel] mediawiki-extensions_1.3_amd64.changes ACCEPTED

[Debian Installer]

Accepted:
mediawiki-extensions_1.3.dsc
  to pool/main/m/mediawiki-extensions/mediawiki-extensions_1.3.dsc
mediawiki-extensions_1.3.tar.gz
  to pool/main/m/mediawiki-extensions/mediawiki-extensions_1.3.tar.gz
mediawiki-extensions_1.3_all.deb
  to pool/main/m/mediawiki-extensions/mediawiki-extensions_1.3_all.deb


Override entries for your package:
mediawiki-extensions_1.3.dsc - source web
mediawiki-extensions_1.3_all.deb - optional web

Announcing to debian-devel-changes at lists.debian.org
Closing bugs: 470239 


Thank you for your contribution to Debian.