[pointerevents] new commits pushed by plehegar

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

* former editor
  by plehegar
https://github.com/w3c/pointerevents/commit/697cbb9d56f17964b9be158f70381f84613cb09a

* PR preview tool
  by plehegar
https://github.com/w3c/pointerevents/commit/3c59afe6f4773951a1b5b1c10691b2ddfca17571

Received on Thursday, 6 June 2019 10:51:45 UTC