On 2013-11-06 20:57, Walter Bright wrote: > It was intended. I felt that 2.064 => 2.064.1 would have been confusing, > hence 2.064 => 2.064.2 That's what's happening if you start to add new digits. The first release should have possibly been 2.064.0. BTW, there was a 2.063.1, if I recall correctly. -- /Jacob Carlborg