Skip to content

Document --allow-redefinition-new - #19153

Merged
JukkaL merged 1 commit into
masterfrom
doc-allow-redef-new
May 27, 2025
Merged

Document --allow-redefinition-new#19153
JukkaL merged 1 commit into
masterfrom
doc-allow-redef-new

Conversation

@JukkaL

Copy link
Copy Markdown
Collaborator

The feature was introduced in #18727.

@emmatypingemmatyping left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, excited to use this new flag :)

@JukkaL
JukkaL merged commit 05d3e5f into masterMay 27, 2025
@JukkaL
JukkaL deleted the doc-allow-redef-new branch May 27, 2025 15:10
@JukkaLJukkaL mentioned this pull request May 27, 2025
JukkaL added a commit that referenced this pull request May 27, 2025
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@JukkaL@emmatyping