bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode

[Eli Zaretskii]

> From: João Távora <joaotavora@gmail.com>
> Date: Thu, 13 Jul 2023 09:12:33 +0100
> Cc: sbaugh@catern.com, Spencer Baugh <sbaugh@janestreet.com>, 
> 64428@debbugs.gnu.org
> 
>  Any reasons not to make them public and add doc strings?
> 
> If you can give a reasonable example of sonething the general public would 
> want to do with them, ok. 
> Until then, I think public interfaces should be kept small.
> 
> Yes, it's good for pushing.

Thanks, installed on master, and closing the bug.

Spencer, please in the future try to follow closer our conventions of
formatting commit log messages.