> On 20 Feb 2025, at 21:21, Jacob Champion <[email protected]> > wrote: > > On Thu, Feb 20, 2025 at 12:07 PM Tom Lane <[email protected]> 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.
Fixed, thanks for the report! -- Daniel Gustafsson
