This commit was manufactured by cvs2svn to create tag 'php_4_2_0RC3'.
This tag has no release notes.