Tom Tromey writes: > > Ok to commit for 3.3 and trunk? Oh yes, that's great. I'm really glad that you found that one; I could never reproduce the problem. Andrew.