This commit was manufactured by cvs2svn to create tag 'RELEASE_0_13_0'.