>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Both improvements have been committed. Man, coding has become Michael> a real joy! But don't get carried away... These changes were big (in the sense of changing behaviour) and it would have been better to see the patches beforehand. JMarc
