[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Processed: 33418 is not a bug
|
From: |
GNU bug tracker automated control server |
|
Subject: |
Processed: 33418 is not a bug |
|
Date: |
Wed, 01 Jan 2020 23:05:01 -0500 |
Processing commands for address@hidden:
> tags 33418 notabug
Bug #33418 [grep] Convert from literal string to ERE?
Added tag(s) notabug.
> close 33418
bug#33418: Convert from literal string to ERE?
bug closed, send any further explanations to
address@hidden and Peng Yu <address@hidden>
>
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] |
- Processed: 33418 is not a bug,
GNU bug tracker automated control server <=