This commit was manufactured by cvs2svn to create branch
'SPIRIT_MINIBOOST'.
Spirit miniboost update.