[theme-reviewers] Trac not synching with Extend?

[Daniel Tara]

I've received several complaints from theme authors that their  
approved themes are not showing up in extend, here are some examples:

http://themes.trac.wordpress.org/ticket/3975
http://themes.trac.wordpress.org/ticket/3923
http://themes.trac.wordpress.org/ticket/3900

I've noticed that from this list:
http://themes.trac.wordpress.org/query?owner=%7E&status=closed&resolution=approved&max=50&col=id&col=summary&col=resolution&col=time&col=changetime&col=keywords&report=19&desc=1&order=changetime
the last Theme that appears in extend is Wiredrive Classic closed 2
weeks ago.

Is there anything wrong with the synch operation?
Otto, do you know anything about this?

Daniel