Updating a plugin on wp-plugins.org

Hi all

I’ve recently updated a plugin in the repository, but its just occurred to me that the updated file was never pushed out via the automatic plugin update service.

Plugin is here:

https://svn.wp-plugins.org/facebook-dashboard-widget/

… you can see I’ve updated the version number 0.9.8 in trunk, and tagged this version. But, when you look at the WordPress Extend page:

https://www.ads-software.com/extend/plugins/facebook-dashboard-widget/

Its still showing as 0.9.5.

Can anyone enlighten me as to what I’m doing wrong??

Cheers
– Chris