[pointerevents] new commits pushed by NavidZ

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

* Add better intro to the extension doc (#281)

* Add better intro to the extension doc
  by Navid Zolghadr
https://github.com/w3c/pointerevents/commit/36a9543ae07691ba4135d19d1db486af9830a949

Received on Monday, 13 May 2019 17:42:47 UTC