Skip to content

TLA for CHR #368

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
May 27, 2025
Merged

TLA for CHR #368

merged 1 commit into from
May 27, 2025

Conversation

FUDCo
Copy link
Contributor

@FUDCo FUDCo commented Apr 16, 2025

Add TLA for Christopher Hiller

@ctcpip
Copy link
Member

ctcpip commented Apr 16, 2025

@boneskull would you consider using CHR to match our convention (first letter of first name, first and last letter of last name)?

@boneskull
Copy link
Member

sure

@ctcpip ctcpip changed the title TLA for CMH TLA for CHR May 27, 2025
@ctcpip ctcpip force-pushed the patch-1 branch 2 times, most recently from ee09bd4 to db85c8a Compare May 27, 2025 21:53
Add TLA for Christopher Hiller
@ctcpip ctcpip merged commit 2ef3ea4 into tc39:main May 27, 2025
1 check passed
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.

4 participants