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

Change instances of "a user agent" to "the user agent" #402

Merged
merged 2 commits into from
Aug 3, 2021

Conversation

patrickhlauke
Copy link
Member

@patrickhlauke patrickhlauke commented Aug 3, 2021

To avoid confusion, any time a normative/clear statement is made, change to "the" (to not give the impression that a UA can somehow delegate things to another UA).

Closes #399


Preview | Diff

@patrickhlauke patrickhlauke changed the title Change most instance of "a user agent" to "the user agent" Change instances of "a user agent" to "the user agent" Aug 3, 2021
To avoid confusion, any time a normative/clear statement is made, change to "the" (to not give the impression that a UA can somehow delegate things to another UA).

Closes #399
Copy link
Member

@mustaqahmed mustaqahmed left a comment

Choose a reason for hiding this comment

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

What about the "a"s in Section 4.2 and in the pointerId para? In fact, the starting phrase in each subsection 4.2.[1-12] caught my attention originally because I felt like the whole discussion is tied implicitly to a specific UA ("the UA") except when we are comparing two UAs or ruling out exceptional behaviors etc.

@patrickhlauke
Copy link
Member Author

d'oh, case-sensitive find/replace fail...

Copy link
Member

@mustaqahmed mustaqahmed left a comment

Choose a reason for hiding this comment

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

Thanks for the careful fix.

@patrickhlauke patrickhlauke merged commit a07cde1 into gh-pages Aug 3, 2021
@patrickhlauke patrickhlauke deleted the patrickhlauke-editorial-ua branch August 3, 2021 22:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

"A user agent" vs "the user agent"
2 participants