This commit was manufactured by cvs2svn to create tag 'patch20000720'.
Authored by: --none-- 2000-07-20
Parent: [r280]
Child: [r282]