1. 2018-12-23 [2] bug#33821: dejagnu command should list avail Jacob Bachm 2. 2018-12-21 [1] bug#33817: Ben Ellisto 3. 2018-12-21 [1] bug#33817: PATCH: fix bug #33817 Jacob Bachm 4. 2018-12-21 [1] bug#33817: dejagnu(1) fails to find commands Jacob Bachm 5. 2018-12-03 [2] bug#33599: PATCH: Fix Info links Ben Ellisto