[pointerevents] new commits pushed by patrickhlauke

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

* editorial: Avoid duplicate example_6
  by plehegar
https://github.com/w3c/pointerevents/commit/10bacf38d8d7e79b126e0bebc01316630f9e83ad

* Merge pull request #314 from w3c/example_ids

editorial: Avoid duplicate example_6
  by Patrick H. Lauke
https://github.com/w3c/pointerevents/commit/217a58c8034c37b9dc5a7aacb55a447692896654

Received on Wednesday, 11 December 2019 12:20:28 UTC