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.

Sign up for GitHub

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

[spec] more tightly describe name processing #16

Merged

ljharb merged 1 commit into main from name_processing

Jan 19, 2023

Member

ljharb commented Jan 18, 2023

Fixes #2. Closes #3. Closes #4. Closes #6.


[spec] more tightly describe name processing

b8386d7

Fixes #2. Closes #3. Closes #4. Closes #6.

Member Author

ljharb commented Jan 18, 2023

Since the plenary deadline is in 2 days, I'll merge this later today if there's no comments.

ljharb force-pushed the name_processing branch 2 times, most recently from 392abf2 to b8386d7 Compare

January 18, 2023 19:47

ljharb merged commit b8386d7 into main

ljharb deleted the name_processing branch

January 19, 2023 06:35

ljharb temporarily deployed to github-pages

January 19, 2023 06:35

— with

GitHub Pages Inactive

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment