close 11865
thanks

Alan Mackenzie <acm@muc.de> writes:

> So I've committed the change.  If I don't hear anything back within a few
> days, I'll assume the change successful and close the bug.

Thanks. I'm no longer typing C++, but I think there still will people be
happy with this.

-- 
Toon