On Wed, May 17, 2023 at 6:35 PM Jehan-Guillaume de Rorthais <j...@dalibo.com> wrote: > > On Wed, 17 May 2023 13:46:35 -0400 > Melanie Plageman <melanieplage...@gmail.com> wrote: > > > On Wed, May 17, 2023 at 07:10:08PM +0200, Jehan-Guillaume de Rorthais wrote: > > > On Tue, 16 May 2023 16:00:52 -0400 > > > Melanie Plageman <melanieplage...@gmail.com> wrote: > > > > ... > > > > There are some existing indentation issues in these files, but you can > > > > leave those or put them in a separate commit. > > > > > > Reindented in v9. > > > > > > I put existing indentation issues in a separate commit to keep the actual > > > patches clean from distractions. > > > > It is a matter of opinion, but I tend to prefer the commit with the fix > > for the existing indentation issues to be first in the patch set. > > OK. moved in v10 patch set.
v10 LGTM.