>
>
> On Sun, Oct 4, 2020 at 4:20 PM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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.
>
>