Re: [pointerevents] Cleanup and respec fixes (#441)

@flackr @mustaqahmed you ok with these changes? i'll merge these end of today unless I hear otherwise if that's ok.

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


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

Received on Wednesday, 1 June 2022 08:38:47 UTC