On 02/04/2013 01:10 AM, Pierre Joye wrote: > On Mon, Feb 4, 2013 at 10:04 AM, Rasmus Lerdorf <ras...@lerdorf.com> wrote: > >> Well, we don't have any sort of mechanism in place to mark a pecl >> release as bad. The best we have is the ability to delete a release and >> release a new one. > > Right,but it was beta so... :)
So is 3.1.13 but that one doesn't actually step all over memory. Deleting 3.1.14 indicates nicely that people should stick with 3.1.13 for now while we clean things up and release a 3.1.15 soon. -Rasmus -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
