This commit was manufactured by cvs2svn to create branch 'AubitStable'.
Authored by: --none-- 2005-07-24
Parent: [r4885]
Child: [r4887]