Skip to content

Conversation

@trask
Copy link
Member

@trask trask commented Dec 23, 2024

Proposal, related to #932

@github-actions
Copy link
Contributor

This PR has been labeled as stale due to lack of activity. It will be automatically closed if there is no further activity over the next 14 days.

@github-actions github-actions bot added the stale label Sep 29, 2025
@trask trask closed this Sep 29, 2025
@trask trask deleted the module-names branch October 20, 2025 16:56
@trask trask restored the module-names branch October 20, 2025 16:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant