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