On 17.06.22 21:33, Tom Lane wrote:
Peter Eisentraut <peter.eisentr...@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.
