On Fri, Jul 11, 2025 at 2:22 PM David Zang <davidzan...@gmail.com> 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