Re: [PHP-DEV] Re: Release Managers for PHP 8.1

[Harm Smits]

> That reminded me to create the 8.1 TODO: https://wiki.php.net/todo/php81

Amazing! Just one remark, my name is spelled wrong ;) Its "Smits", not
"Smitts".