I'm the writer of the image rotator plugin(http://wordpress.org/extend/plugins/dk-new-medias-image-rotator-widget/). I recently made some changes to the plugin, tagged a new version, and checked in the new code. The problem is that one of the files didn't get updated. My local trunk and tags/#.#.# folder both have the current copy, but this file didn't seem to get checked in at all. I don't believe I've done anything differently this time around. I haven't had this problem before. Any ideas?
Is the best thing to do is tag yet another version, and try again?