1. 1999-05-05 submission: dejagnu patch gdb-patch Stan Shebs 2. 1999-05-05 submission: dejagnu patch gdb-patch Jimmy Guo