
On Wed, Jul 13, 2005 at 07:08:22PM +1000, Peter Moulder wrote:
Appended is a patch to trim trailing zeros after the decimal point, so that `10.000000' becomes `10', and `1.500000' becomes `1.5'.
What are people's comments about whether to include this in 0.42 or not? What further testing would be needed if it were to be in 0.42 ?
pjrm.
Perhaps since the amount of time we have to test pre-release is limited, you could include a commandline option to allow users to switch to the old behavior. This would also be useful in testing, since people would be able to try it both ways and see if it produces different results. The option would then be removed for 0.43.
I'm glad to see this implemented; this had been somewhere down on my todo list too. :-)
Bryce