Skip to content

Conversation

@warsaw
Copy link
Member

@warsaw warsaw commented Dec 18, 2025

Small fix to Makefile.pre.in so that make distclean doesn't leave you with a dirty repo. Needs backport to 3.14 and 3.13.

@serhiy-storchaka
Copy link
Member

It was already fixed in #142935, wasn't it?

@encukou
Copy link
Member

encukou commented Dec 18, 2025

I merged #142935 just before I saw this PR, sorry :/

I think it's better to move the file. If we were to add an exception, we'd also want a ! line in .gitignore.

@encukou encukou closed this Dec 18, 2025
@warsaw warsaw deleted the issue142681 branch December 18, 2025 17:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs backport to 3.13 bugs and security fixes needs backport to 3.14 bugs and security fixes skip news

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants