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

From: Eli Zaretskii <[email-masked]>
Date: Thu, 13 Jul 2023 17:00:43 +0300

> From: João Távora <[email-masked]>
> Date: Thu, 13 Jul 2023 09:12:33 +0100
> Cc: [email-masked], Spencer Baugh <[email-masked]>, [email-masked]
> 
>  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.