| 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.