David Abrahams <dave at boost-consulting.com> writes: > OK, I'm working on a fix. I'll let you know when it's done. Thanks > for the bug reports. OK, it's in the CVS. -- Dave Abrahams Boost Consulting www.boost-consulting.com