[pointerevents] new commits pushed by patrickhlauke

The following commits were just pushed by patrickhlauke to https://github.com/w3c/pointerevents:

* Editorial: remove bad dfn overrides
  by Marcos Cáceres
https://github.com/w3c/pointerevents/commit/c6108334fcd034d9223176371054ac66763c8f72

* Merge pull request #336 from marcoscaceres/rs_usage

Editorial: remove bad dfn overrides
  by Patrick H. Lauke
https://github.com/w3c/pointerevents/commit/61d4b9cdc7c0c3652e4308b92322e15bf54c9dbb



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

Received on Thursday, 1 October 2020 13:50:11 UTC