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

No match.