[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#30397: Random numbers in grep mode-line
From: |
Eli Zaretskii |
Subject: |
bug#30397: Random numbers in grep mode-line |
Date: |
Mon, 12 Feb 2018 18:34:56 +0200 |
> From: Richard Stallman <rms@gnu.org>
> Date: Sun, 11 Feb 2018 15:45:04 -0500
> Cc: 30397@debbugs.gnu.org, npostavs@users.sourceforge.net
>
> > > While compilation proceeds, the mode line is updated to show the
> > > number of errors, warnings, and informational messages that have
> been
> > > seen so far.
>
> That has a gratuitous passive verb.
> This text avoids that and is clearer in other ways.
>
> ======================================================================
> The mode line displays and updates the number of errors, number of
> warnings, and number of informational messages emitted by compilation.
> ======================================================================
>
> Would someone please install this and ack?
Ack.
- bug#30397: Random numbers in grep mode-line, (continued)
bug#30397: Random numbers in grep mode-line, Noam Postavsky, 2018/02/08
- bug#30397: Random numbers in grep mode-line, Juri Linkov, 2018/02/10
- bug#30397: Random numbers in grep mode-line, Drew Adams, 2018/02/10
- bug#30397: Random numbers in grep mode-line, Juri Linkov, 2018/02/11
- bug#30397: Random numbers in grep mode-line, Drew Adams, 2018/02/11
- bug#30397: Random numbers in grep mode-line, Eli Zaretskii, 2018/02/12
- bug#30397: Random numbers in grep mode-line, Juri Linkov, 2018/02/12
bug#30397: Random numbers in grep mode-line, Richard Stallman, 2018/02/11
bug#30397: Random numbers in grep mode-line,
Eli Zaretskii <=
bug#30397: Random numbers in grep mode-line, Eli Zaretskii, 2018/02/09