> 
> Sure. But the question is: which should the default be?
> 

I'm not sure that we know enough to choose at this time.

John Maddock
http://ourworld.compuserve.com/homepages/john_maddock/index.htm

_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

Reply via email to