Martijn
The official release date is set for tomorrow (
wiki.php.net/todo/...). But this could be the source already, yes. Not weird to see them get it tagged before they start packaging for release. NEWS file seems complete enough on that tag:
github.com/php/php...