On Don, 09 Mai 2002, Michael Bedy wrote: > I'm still using that patch myself, and it's working fine. Should I commit > it? I have not heard anything from anybody..... I've asked Lars to have a look. Dirk