Release numbering

[Jacques Le Roux]

Hi,

Just got a doubt, would it not be better if we would not put a 0 ahead of the 
minor release number? Not a big deal, but it could be confused with a date. 
So I would have better R12.04.3 than R12.04.03, do you think it's worth the 
move?

Jacques