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