Andreas Schwab <schwab@suse.de> writes:

> The release has not been tagged.

No, as there's no corresponding git commit yet.  Same for the website,
it needs to be updated (I'll do that now).

Cheers,
Nico