On 04/16/2012 01:12 PM, Stas Malyshev wrote:
Hi!I think that once PHP-5.4.1 was branched, then PHP-5.4 should have become 5.4.2-dev.You're right.
As an exercise, I submitted a pull request fixing this. Chris -- christopher.jo...@oracle.com http://twitter.com/#!/ghrd -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
