[pointerevents] Pull Request: Change most instance of "a user agent" to "the user agent"

• From: Patrick H. Lauke via GitHub <sysbot+gh@w3.org>
• Date: Tue, 03 Aug 2021 15:42:09 +0000
• To: public-pointer-events@w3.org
• Message-ID: <pull_request.opened-702393211-1628005327-sysbot+gh@w3.org>

patrickhlauke has just submitted a new pull request for https://github.com/w3c/pointerevents:

== Change most instance of "a user agent" to "the user agent" ==
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 https://github.com/w3c/pointerevents/issues/399

See https://github.com/w3c/pointerevents/pull/402


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 3 August 2021 15:42:10 UTC