Tom Tromey writes: > Wow, how did this one slip through the cracks? > I know I've looked through the PRs since 2001. Geez. > > Andrew, could you please review the patch in PR 1333? It looks fine, yes. Andrew.