|
From: | GNU bug tracker automated control server |
Subject: | [debbugs-tracker] Processed: will handle #36293 |
Date: | Wed, 19 Jun 2019 18:11:02 -0400 |
Processing commands for address@hidden: > package dejagnu Ignoring bugs not assigned to: dejagnu > owner 36293 ! Bug #36293 [dejagnu] Dejagnu Documentation Owner recorded as address@hidden. > thanks Stopping processing here. Please contact address@hidden if you need assistance. GNU bugs database, http://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |