On Thu, Dec 6, 2018 at 12:14 PM Nikita Popov <nikita....@gmail.com> wrote:
> Given that the PHP 7.3 release announcement is somewhat more significant > than our usual maintenance releases, maybe that one could be done > separately? > > Given that the migration guide link is currently pointing at dead air, I'll probably give Christoph some time to fix that. http://php.net/manual/en/migration73.php -Sara
