[pointerevents] new commits pushed by patrickhlauke

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

* Editorial: remove double-spaces after full stops

old-fashioned style from typewriter days, and pointless in HTML
  by Patrick H. Lauke

Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Sunday, 8 August 2021 09:48:48 UTC