> Just a question on the version though: We are talking about 1.23 and > not 1.23.0, and I see that we also had a 1.22 version (not a > 1.22.0), is there a particular reason to omit the patch number if it > is equal to 0?
It looked nicer then for me, and I think I saw that for other GNU
packages, too – the zero is essentually redundant. No other special
reason.
Werner
