|
| From: | GNU bug tracker automated control server |
| Subject: | Processed: 51231 is not a bug |
| Date: | Sat, 16 Oct 2021 12:50:03 -0400 |
Processing commands for control@debbugs.gnu.org:
> tags 51231 notabug
Bug #51231 {Done: Paul Eggert <eggert@cs.ucla.edu>} [grep] increase performance
and usability of binary search with -P
Added tag(s) notabug.
> stop
Stopping processing here.
Please contact help-debbugs@gnu.org if you need assistance.
GNU bugs database, http://debbugs.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |