On Sun, Jul 2, 2023, 18:08 Eli Zaretskii <eliz@gnu.org> wrote:

> From: sbaugh@catern.com
> Date: Sun, 02 Jul 2023 16:12:06 +0000 (UTC)
>
> This helps clarify what each of these numbers mean. This is inspired
> by compilation-mode-line-errors which does the same.
>
> * lisp/progmodes/flymake.el (flymake--mode-line-counter): Add
> help-echo to mode line properties.

Thanks.

João, is this safe for the release branch?

I think so, yes. I'd like to give it a bit of testing with Eglot, which uses its own types, but it does seem safe regardless.

João