Skip to content
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

Name change #265

Merged
merged 2 commits into from
Aug 8, 2023
Merged

Name change #265

merged 2 commits into from
Aug 8, 2023

Conversation

pzuraq
Copy link
Contributor

@pzuraq pzuraq commented Aug 8, 2023

I've change my name recently

I've change my name recently
@ctcpip ctcpip self-assigned this Aug 8, 2023
@ctcpip ctcpip merged commit f110921 into tc39:main Aug 8, 2023
1 check passed
@nicolo-ribaudo
Copy link
Member

nicolo-ribaudo commented Aug 8, 2023

I think we should update all the CHG in the notes to KHG, so that they are still attributed to you and not to an undefined acronym. This is similar to what was done in #55.

@ctcpip
Copy link
Member

ctcpip commented Aug 8, 2023

@nicolo-ribaudo #266

@ctcpip
Copy link
Member

ctcpip commented Aug 8, 2023

as an aside, we probably should not have went forward with #55 ... LBR was the ideal TLA for Leo... alas, here we are :)

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.

3 participants