|Subject:||Next version should be 4.200000|
It's a lot easier to see the difference between 4.200001 & 4.200003 than between 4.102341 and 4.102343. It would be nice to go to 4.20, but reducing the number of decimal places without a major version change causes problems for many packaging systems. That will have to wait for 5.00. As a compromise, the next release should be 4.200000.