- From: Patrick H. Lauke via GitHub <sysbot+gh@w3.org>
- Date: Tue, 03 Aug 2021 22:17:20 +0000
- To: public-pointer-events@w3.org
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 https://github.com/w3c/pointerevents/commit/a07cde1c00b5e9b225c9846c8efb6ad9e2cd0fe3 -- 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