On Fri, 2015-08-28 at 11:52 +0000, Debian Bug Tracking System wrote: > It is fixed in stable distribution. Therefore I am closing this > report.
Just for the record, it has been fixed in dejagnu 1.5.3 which is now in stretch (testing). jessie (stable), still contains 1.5.1 with this bug.
