[pointerevents] new commits pushed by patrickhlauke

The following commits were just pushed by patrickhlauke to https://github.com/w3c/pointerevents:

* Change instances of "a user agent" to "the user agent" (#402)

* Change instances 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

* Case sensitive find/replace - also catch uppercase "A user agent..."
  by Patrick H. Lauke

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

Received on Tuesday, 3 August 2021 22:17:22 UTC