On Fri, Jul 11, 2025 at 12:24 PM Fabio Estevam <festevam at gmail.com> wrote: > 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. > I sent out the v2. David