[pointerevents] Pull Request: Editorial: remove bad dfn overrides

marcoscaceres has just submitted a new pull request for https://github.com/w3c/pointerevents:

== Editorial: remove bad dfn overrides ==
Closes #333 

https://respec.org/docs/ is your friend ... in particular https://respec.org/docs/#Shorthands-Guide 



See https://github.com/w3c/pointerevents/pull/336


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

Received on Thursday, 1 October 2020 09:15:57 UTC