> I don't think it needs to. We review libraries, but traditionally > tools are just checked in if they seem useful or are known to be > needed. This one is.
OK I'll check it in, thanks. John. _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
