Tom Tromey writes: > Ok to commit? I don't think this problem is important enough for > the branch, so I'd put it on the trunk only. I don't see why it shouldn't go in the trunk. Per, what do you think? ./A