On 17.06.22 21:33, Tom Lane wrote:
> Peter Eisentraut <peter.eisentraut@enterprisedb.com> writes:
>> On 17.06.22 19:52, Josh Soref wrote:
>>> ok, are they worth fixing?
>
>> That would require renaming either the output files or the input files,
>> and people would really not like either one.
>
> Agreed that renaming those files is not desirable, but the presented
> patch was only fixing erroneous/obsolete comments.
Yeah, I had totally misinterpreted what was being proposed. Of course,
the patch is most sensible. Committed.