Plugin is not being updated in WordPress.org

I am the manager of the Google Maps plugin at http://wordpress.org/extend/plugins/google-maps-advanced/

I released a new version 5.12 today, updated readme.txt, made a “svn cp” (you can see it at http://svn.wp-plugins.org/google-maps-advanced/tags/5.12/).

But the new version is not being displayed and available for installation.

Strangely, the textual updates I made to the readme.txt appeared in the plugin WordPress.org home page.

What I’m doing wrong ?