This commit was manufactured by cvs2svn to create branch 'semi-1_12'.