Skip to content

Conversation

@rossberg
Copy link
Member

Fix #2049.

Are these adequate choices? WDYT @tlively, @dschuff, @conrad-watt?

@rossberg rossberg requested review from dschuff and tlively January 12, 2026 11:20
@tlively
Copy link
Member

tlively commented Jan 12, 2026

LGTM, but maybe let's run this by proposal champions at the CG meeting tomorrow.

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.

Lacks of license in some directories

3 participants