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

Jump to bottom

John Scudder's review #421

Closed

gselander opened this issue Aug 23, 2023 · 1 comment

Labels

Close?

Collaborator

gselander commented Aug 23, 2023

https://mailarchive.ietf.org/arch/msg/lake/LhnykON_QDd8ngZpB-pzYYH8ssM/

One nit (and it is the smallest of nits) is that the backslash ("") character
that occurs in Figure 17 seemed odd.

emanjon added the PR exists label

Collaborator

emanjon commented Aug 23, 2023

I made a PR addressing the comments.

emanjon added Fixed in -22 Close? and removed PR exists labels

emanjon closed this as completed

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