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

[SVN r9288]