>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> "Leuven, E." <[EMAIL PROTECTED]> writes: | opinions? Lars> Only that I like your interrest in this, but also that this is Lars> not going to be changed for 1.4.0. It is just too late. But I would be OK with changing this in later 1.4 versions if people come to an agreement about what is good. JMarc
