-
Anton Ertl authored
fix bug 2 (failure of DISCODE when gdb fails) from bug report <08ae1444-8191-43af-ac0d-318e52d7ead4@googlegroups.com>
5c18fc45
fix bug 2 (failure of DISCODE when gdb fails) from bug report <08ae1444-8191-43af-ac0d-318e52d7ead4@googlegroups.com>