Re: [pointerevents] Change instances of "a user agent" to "the user agent" (#402)

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

-- 
GitHub Notification of comment by patrickhlauke
Please view or discuss this issue at https://github.com/w3c/pointerevents/pull/402#issuecomment-892033905 using your GitHub account


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

Received on Tuesday, 3 August 2021 17:37:40 UTC