PHP 5.3 update now that 5.3.2 has been released

[Olivier Mueller]

On Mon, 2010-03-08 at 17:38 +0100, Alex Dupre wrote:
> Sean McAfee ha scritto:
> > I just noticed that 5.3.2 was finally released on Thursday (3/4).
> > 
> > Are you still planning on cutting the ports tree over?  If so, do you
> > have a rough time-frame?
> 
> Yes, this is still the plan. I have the update to 5.3.2 ready in my
> local repo, I'm just waiting for ports freeze end.

Ok, this is going to be interesting :-)   And what are the plans about
5.2.13 (25.Feb.10) : will this version just be "skipped", or will there
first be a (last) 5.2.x update, and then the jump to 5.3.0 ? 

Regards & a nice week to all of you,
Olivier