[pointerevents] new commits pushed by patrickhlauke

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

* Use level3 branch for level3 and gh-pagesa branch for level 4. A bit of respec config cleanup (#528)
  by Philippe Le Hegaret
https://github.com/w3c/pointerevents/commit/feb1b091155ccc7c9f492372836db11b810734a0



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

Received on Tuesday, 19 November 2024 21:24:52 UTC