Skip to content

Conversation

@warsaw
Copy link
Member

@warsawwarsaw 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

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.

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

Labels

needs backport to 3.13bugs and security fixesneeds backport to 3.14bugs and security fixesskip news

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@warsaw@serhiy-storchaka@encukou