On Fri, Jul 11, 2025 at 2:22 PM David Zang <[email protected]> wrote:

> Since it is a simple fix, do I really need a commit log?

Yes, even a single line is better than nothing.

Reply via email to