[wp-hackers] Plugin updates

[Joost de Valk]

Ok, I'm now totally confused with how the version numbers work in the WP
plugin repository.

I released an update to my Google Analytics plugin (
http://wordpress.org/extend/plugins/google-analytics-for-wordpress/)
bringing it to version 3.2.5. I changed the version number in:
- the readme.txt in the trunk directory
- the main plugin file in the trunk directory
- added a tag directory with that version number and the correct number in
the readme.txt file there

I only missed one: the plugin file in that tags directory. Now a very weird
thing happened: if you downloaded the plugin, you got version 3.2.5. If you
were on 3.2.2 and upgraded, you got 3.2.5. However, if you were on 3.2.4,
you didn't get an update notice...

That sounds like a bug, doesn't it?

Cheers
Joost