Christian Brauner <brauner@xxxxxxxxxx> writes: > On Thu, Jul 27, 2023 at 01:28:39PM -0400, Gabriel Krisman Bertazi wrote: > > Wouldn't it make sense to get rid of all this indentation? I'm ok with making this change. I'll wait for more reviews and Eric before sending a new version with this done. Thanks! -- Gabriel Krisman Bertazi