I haven't seen an official announcement, and it's not mentioned on the downloads page yet, but you can grab PHP 5.1.4 from your favorite mirror.

Presumably, this release comes so soon after 5.1.3 due to the critical bug mentioned on PHPDeveloper.org. I just downloaded and installed it, and the bug seems to be fixed. Thanks, Dmitry!