This commit was manufactured by cvs2svn to create tag 'REL_10_25'.
Authored by: --none-- 2013-10-31
Parent: [r1582]
Child: [r1584]