Subject: bug#25354: patch for this bug

From: Eli Zaretskii <[email-masked]>
Date: Sun, 05 Mar 2017 22:00:51 +0200

> From: Tom Tromey <[email-masked]>
> 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.