On Fri, 20 Jan 2023 at 10:23, Peter Smith <smithpb2250(at)gmail(dot)com> wrote:
> Should the add_indent function also have a check to avoid making
> unnecessary calls to appendStringInfoSpaces when the level is 0?
Although I didn't opt to do that, thank you for having a look.
I do think the patch is trivially simple and nobody seems against it,
so I've now pushed it.
David