This commit was manufactured by cvs2svn to create tag 'patch20000724'.
Authored by: --none-- 2000-07-24
Parent: [r295]
Child: [r297]