Hi Christoph, On Tue, Aug 9, 2016 at 12:44 AM, Christoph M. Becker <cmbecke...@gmx.de> 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 yohg...@ohgaki.net -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
