Thank you for the upload! However, I realized that while we were fine to sync, migration will be held up because we've trimmed some binary packages out of src:php7.0. I think we, for now, have to do the same to php-defaults to allow php-* to migrate.
** Patch added: "php-defaults_32.32ubuntu1.debdiff" https://bugs.launchpad.net/ubuntu/+source/php-defaults/+bug/1549441/+attachment/4582178/+files/php-defaults_32.32ubuntu1.debdiff -- You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to php-defaults in Ubuntu. https://bugs.launchpad.net/bugs/1549441 Title: Please sync php-defaults 32 from Debian unstable To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/php-defaults/+bug/1549441/+subscriptions -- Ubuntu-server-bugs mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs
