1. 2021-04-01 bug#47533: bug in dejagnu 1.6.3-rc2 dejagnu-b Jacob Bachmeyer 2. 2021-04-01 bug#47533: bug in dejagnu 1.6.3-rc2 dejagnu-b Tom Tromey 3. 2021-04-01 bug#47533: bug in dejagnu 1.6.3-rc2 dejagnu-b Jacob Bachmeyer 4. 2021-03-31 bug#47533: bug in dejagnu 1.6.3-rc2 dejagnu-b Tom Tromey