1. 2012-06-15 [2] [Bug-dejagnu] [PATCH] Protect from leading dash in message dejagnu-bug Ben Elliston