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