Thread: Re: MERGE docs: indentation in synopsis section

On Wed, 25 Jun 2025 at 15:53, Nathan Bossart <nathandbossart@gmail.com> wrote:
>
> Seems reasonable to me.
>

Pushed. Thanks for looking.

Regards,
Dean