|
From: | GNU bug tracker automated control server |
Subject: | Processed: 37907 has a patch |
Date: | Thu, 24 Oct 2019 17:38:02 -0400 |
Processing commands for address@hidden: > tags 37907 patch Bug #37907 [grep] --no-ignore-case option Added tag(s) patch. > End of message, 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] |