[pointerevents] new commits pushed by patrickhlauke

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

* Editorial: Remove unnecessary heading from revision history section
  by patrickhlauke
https://github.com/w3c/pointerevents/commit/e1fd90a1cb20a61d92109667d3b2fd80078ea6a9

Received on Wednesday, 28 November 2018 09:40:29 UTC