v1.3
99bbd180 · This commit was manufactured by cvs2svn to create tag 'release13'. ·