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

svn path=/branches/unlabeled-1.7.2/boost/boost/re_detail/; revision=9367
Join ralf_grosse_kunstleve with HEAD

svn path=/branches/unlabeled-1.7.2/boost/boost/re_detail/; revision=9444