PHP 5.3 update now that 5.3.2 has been released

[Olivier Mueller]

On Mon, 2010-03-08 at 20:46 +0100, Olivier Mueller wrote:
> 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 ? 

Self-answer, sorry, I should have checked the PR-database _before_
hitting the send button: the patch for 5.3.13 is there
( http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/144475 ). But the
question remains (next update -> 5.2.13 or 5.3.2?). 

regards, Olivier