Subject: Ports with version numbers going backwards: graphics/kimdaba, science/gerris... Looks like an issue with Tools/scripts/bumpportrevision, I'll check it in a second.
