[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[debbugs-tracker] Processed: Re: bug#30397: Random numbers in grep mode-
From: |
GNU bug tracker automated control server |
Subject: |
[debbugs-tracker] Processed: Re: bug#30397: Random numbers in grep mode-line |
Date: |
Mon, 12 Feb 2018 16:41:03 -0500 |
Processing commands for address@hidden:
> tags 30397 fixed
Bug #30397 [emacs] Random numbers in grep mode-line
Added tag(s) fixed.
> close 30397 26.1
bug#30397: Random numbers in grep mode-line
bug marked as fixed in version 26.1, send any further explanations to
address@hidden and Juri Linkov <address@hidden>
> tags 14017 fixed
Bug #14017 [emacs] Highlight prefix line numbers in occur
Added tag(s) fixed.
> close 14017 26.1
bug#14017: Highlight prefix line numbers in occur
bug marked as fixed in version 26.1, send any further explanations to
address@hidden and Juri Linkov <address@hidden>
> tags 13417 wontfix
Bug #13417 [emacs] 24.2.92; Show number of errors in compilation mode
Added tag(s) wontfix.
> close 13417
bug#13417: 24.2.92; Show number of errors in compilation mode
bug closed, send any further explanations to
address@hidden and Leo Liu <address@hidden>
> quit
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] |
- [debbugs-tracker] Processed: Re: bug#30397: Random numbers in grep mode-line,
GNU bug tracker automated control server <=