> However, 7.1beta6 to 7.1rc4 to 7.1.0 would be an ok
> progression, as 7.1 < 7.1.0, I think (saying that without having tested it could be
> dangerous.... :-)).
I like this 7.1.0, it would also help to clarify what exact version is at hand.
People tend to use shorthands like 7.1 to refer to any patch version (like 7.1.3).
Andreas