On Sam, 27 Apr 2002, Michael Bedy wrote: > Possible fix for 40429. Ok to check in? I fixed this half a week ago already. It seems the bug system is buggy, because I got a notification that it got closed, but it is still listed as open. Dirk