On Tue, 18 Nov 2003, chris clepper wrote: > So we keep talking and talking about a release of 0.888 Is there a special reason for the version number 0.888 instead of 0.88 ? I fear this might be a bit confusing for the user. (Well, it is for me, too) Guenter