This commit was manufactured by cvs2svn to create branch
'unlabeled-1.1.1.1.10'.

svn path=/branches/unlabeled-1.1.1.1.10/boost/boost/nondet_random.hpp; revision=7623
Join ralf_grosse_kunstleve with HEAD

svn path=/branches/unlabeled-1.1.1.1.10/boost/boost/nondet_random.hpp; revision=9444
Cleanup after join with HEAD.

svn path=/branches/unlabeled-1.1.1.1.10/boost/boost/nondet_random.hpp; revision=9446