This commit was manufactured by cvs2svn to create branch
'thread_rewrite'.

svn path=/branches/thread_rewrite/boost/boost/nondet_random.hpp; revision=30953