Closed: [pointerevents] "A user agent" vs "the user agent" (#399)

• 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
• Message-ID: <issues.closed-956944091-1628029038-sysbot+gh@w3.org>

patrickhlauke closed this issue. See https://github.com/w3c/pointerevents/issues/399

-- 
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