Bug#987822: DEJAGNU_TIMEOUT patch dropped without notice

[Matthias Klose]

Package: src:dejagnu
Version: 1.6.2-2
Tags: patch

Apparently, the patch for https://bugs.debian.org/182177 was dropped at some
point. Please re-apply it.