This commit was manufactured by cvs2svn to create tag 'V0_0_12'. svn path=/tags/V0_0_12/; revision=631