[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
https://github.com/w3c/pointerevents/commit/cbd05e06d4f9848d6cc0ce11b8236d683f273cf9



-- 
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