This commit was manufactured by cvs2svn to create branch
'unlabeled-1.4.2'.
Join ralf_grosse_kunstleve with HEAD
Boost.Log merged to trunk.