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

Minor editorial issues and fixing metadata to stop annoying make errors. #589

Closed
wants to merge 1 commit into from

Conversation

taddhar
Copy link
Contributor

@taddhar taddhar commented Nov 15, 2023

  • Fixing some minor editorial issues, e.g. the abuse of 'first' with no 'then' or 'second' or 'secondly' etc.
  • In X.509 don't forget the dot
  • Boring make errors because of metadata issues

About the latter, I get the warning that I don't know how to fix

warnings.warn(
*** attributes left {"authors"=>[{"ins"=>"K. Bhargavan", "org"=>"Inria"}, {"ins"=>"V. Cheval", "org"=>"Inria"}, {"ins"=>"C. Wood", "org"=>"Cloudflare"}]}!

@taddhar taddhar requested a review from chris-wood as a code owner November 15, 2023 10:58
@ekr
Copy link
Collaborator

ekr commented Nov 15, 2023

There's nothing wrong with "First"..."later". I don't think we should change these.

@@ -1424,7 +1430,7 @@ consideration when reasoning about the privacy properties that ECH provides.

ECH requires encrypted DNS to be an effective privacy protection mechanism.
However, verifying the server's identity from the Certificate message,
particularly when using the X509 CertificateType, may result in additional
particularly when using the X.509 CertificateType, may result in additional
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is not correct. Yes, they are X.509 certificates, but the name of the enum in RFC 8446 (S 4.4.2i) ix "X509"

Suggested change
particularly when using the X.509 CertificateType, may result in additional
particularly when using the X509 CertificateType, may result in additional

@ekr
Copy link
Collaborator

ekr commented Feb 17, 2024

I have fixed the metadata issue in #599.

As noted above, I don't believe the proposed text changes are necessary/right and as they are within editorial discretion, I am closing the PR unmerged.

@ekr ekr closed this Feb 17, 2024
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.

2 participants