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

[SVN r8674]
Join ralf_grosse_kunstleve with HEAD


[SVN r9444]
Boost.Log merged to trunk.

[SVN r83860]