Didier Verna <verna(a)inf.enst.fr> writes:
If there's really no difference, we should as well get rid of
the
patch level number and use the minor version.
The difference is that there is now a way in the version number to
distinguish different lines of development. However that doesn't mean
there is a difference from the way we differentiated between bug fix
releases before.
Jan