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