New packages of PHP 5.3.1 and PHP 5.2.13 has been uploaded to fix some annoying bugs :
- filter_var now validates correctly the hostnames that include ‘-‘ (bug #51192)
- the GD bundled library has been patched to fix some TrueType issues (bug #51207, …)
In addition, PHP 5.3.2 now restarts softly, without any problem (thanks to Daniel Hahler).