Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> I think the proposed patch should be committed and back-patched, after
> fixing it so that it's pgindent-clean and adding a comment. Does
> anyone have strong objection to that?
Not here. I do wonder if we can't find a more memory-efficient way,
but I concur that any such change would likely not be back-patch
material.
regards, tom lane