[pointerevents] Pull Request: Remove extension doc

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

== Remove extension doc ==
Remove the extension doc now that the content of it
has been merged into the main spec as part of the
following pull requests:

https://github.com/w3c/pointerevents/pull/307
https://github.com/w3c/pointerevents/pull/306
https://github.com/w3c/pointerevents/pull/294

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

Received on Monday, 11 November 2019 20:20:15 UTC