kdepim updates "pushed to stable" according to Bodhi, but tags not moved?

[Kevin Kofler]

Hi,

As previously reported on:
https://www.redhat.com/archives/fedora-devel-list/2008-October/msg00057.html

Bodhi claims the following updates (submitted by me) have been pushed to 
stable:
kdepim-3.5.10-2.fc8
kdepim-3.5.10-2.fc9

Yet they are still in dist-f8-updates-candidate resp. 
dist-f9-updates-candidate and thus do not show up in the repo. So what's up 
with these? Aren't the tag moves supposed to happen _before_ Bodhi says the 
update got pushed?

Kevin Kofler