On Sat, 2013-07-13 at 00:04 +0200, Sebastian Bergmann wrote: > Zend Engine v2.5.0-dev, Copyright (c) 1998-2013 Zend Technologies > > At the end of the day it is just a version number but it looks > "unprofessional". Would be nice if things like this did not happen.
Yes, mistakes happen, as you can see by commit 184dea this was already noticed and fixed. I think there also hand been bug reports about it. But well, nothing we can change for5.5.0 as that's out .. johannes -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
