Skip to content

Conversation

@Benio101
Copy link

Continuation of #7483.

@tkoeppe
Copy link
Contributor

tkoeppe commented Dec 17, 2024

Sorry, where is this coming from, who asked for this? We don't usually change stable labels, since that would defeat half of their purpose.

Sign up for free to 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