It is based on suggestions from Richard Fanta, Ben Hutchings, and Peter Dimov,
CVS has been updated.
--Beman
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost