On Sun, Oct 4, 2020 at 4:20 PM Tom Lane <tgl@sss.pgh.pa.us> wrote: > I didn't try very hard to trace the commit history, but I did note that > almost all of the removed #includes dated to 1996 or so. I'm surprised > they survived Bruce's occasional attempts at removing unused #includes; > maybe his script didn't check .y/.l files.
That is some ancient detritus! Thanks for committing.