Who knows, perhaps the attached one liner is enough?

Yes, it is.  More precisely, it was, at the time that code was current.
I don't mind such a change (except you need to forward port it now), but
apparently Paolo seemed to think it was ugly for some reason.

Me? :-)

Paolo


Reply via email to