1. 2008-04-07 [2] [Bug-dejagnu] typos in dejagnu manual dejagnu-bug Ben Elliston 2. 2008-04-03 [1] [Bug-dejagnu] [BUG] Quotes problem in calling rsh from script dejagnu-bug Deepak Barua