Source: dejagnu Version: 1.5.3-2 Severity: normal Tags: patch Dear maintainer,
This is a request to backport the following patch: <http://git.savannah.gnu.org/gitweb/?p=dejagnu.git;a=commitdiff;h=e7d7a3e0b0cda9194c192e979f4ecc8dcfb010b3> Which was submitted to upstream DejaGNU here: <https://lists.gnu.org/archive/html/dejagnu/2015-07/msg00000.html> The problem is described in the bug, but please do let me know if anything else is needed. I can also provide a patch against the package if you want. Thank you, -- Sergio GPG key ID: 237A 54B1 0287 28BF 00EF 31F4 D0EB 7628 65FC 5E36 Please send encrypted e-mail if possible http://sergiodj.net/
