Hi Christoph, On Tue, Aug 9, 2016 at 12:44 AM, Christoph M. Becker <[email protected]> wrote: > > I've just noticed that the voting is still open, although it's already > 2016-08-08. Shouldn't it be closed?
Thank you! Closed. -- Yasuo Ohgaki [email protected] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
