On Thu, Feb 20, 2025 at 12:07 PM Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Looks like we're short a .gitignore entry. (It does appear that
> "make clean" cleans it up, at least.)
So we are! Sorry about that. The attached patch gets in-tree builds
clean for me again.
Thanks,
--Jacob