The MP at [1] still is suggested as a solution to this issue going forward. As Bryce coordinates the php uploads I'll leave that to him thou.
At least the overall migration is done, so maybe this can be a little fix-follow up now.
[1]: https://code.launchpad.net/~paelzer/ubuntu/+source/php7.3/+git/php7.3/+merge/375381
The MP at [1] still is suggested as a solution to this issue going forward.
As Bryce coordinates the php uploads I'll leave that to him thou.
At least the overall migration is done, so maybe this can be a little fix-follow up now.
[1]: https:/ /code.launchpad .net/~paelzer/ ubuntu/ +source/ php7.3/ +git/php7. 3/+merge/ 375381