Skip to content

Conversation

@foolip
Copy link
Collaborator

@foolip foolip commented May 16, 2025

Fixes #2973.

@github-actions github-actions bot added the documentation Improvements or additions to documentation label May 16, 2025
@foolip foolip requested a review from ddbeck May 19, 2025 15:25
Copy link
Collaborator

@ddbeck ddbeck left a comment

Choose a reason for hiding this comment

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

Thank you!

@ddbeck ddbeck merged commit ec0f2b5 into main May 19, 2025
3 checks passed
@ddbeck ddbeck deleted the stricter-ids branch May 19, 2025 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Can identifiers start with a number or hyphen?

3 participants