Peter Eisentraut <[email protected]> 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.
regards, tom lane
