v12r5
95144614 · This commit was manufactured by cvs2svn to create tag 'v12r5'. ·