[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25354: patch for this bug
|
From: |
Eli Zaretskii |
|
Subject: |
bug#25354: patch for this bug |
|
Date: |
Sun, 05 Mar 2017 22:00:51 +0200 |
> From: Tom Tromey <tom@tromey.com>
> Date: Sun, 05 Mar 2017 10:50:18 -0700
>
> This implements the feature requested here: it counts errors, warnings,
> and informational messages as they are parsed, and then updates the mode
> line with this information.
>
> Let me know what you think.
Thanks. This should be mentioned in NEWS, and the user manual needs
an update.