[php-maint] Processing of php-defaults_9_amd64.changes

Tue Aug 25 13:45:37 UTC 2015

php-defaults_9_amd64.changes uploaded successfully to localhost
along with the files:
  php-defaults_9.dsc
  php-defaults_9.tar.xz
  libapache2-mod-php_9_all.deb
  libphp-embed_9_all.deb
  php-all-dev_9_all.deb
  php-cgi_9_all.deb
  php-cli_9_all.deb
  php-common_9_all.deb
  php-dev_9_all.deb
  php-fpm_9_all.deb
  php-phpdbg_9_all.deb
  php_9_all.deb

Greetings,

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