[pointerevents] Pull Request: Misc editorial changes: move Sec12 to Sec4.1.4, normalize header tags

mustaqahmed has just submitted a new pull request for https://github.com/w3c/pointerevents:

== Misc editorial changes: move Sec12 to Sec4.1.4, normalize header tags ==
None

See https://github.com/w3c/pointerevents/pull/476


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

Received on Wednesday, 5 July 2023 21:17:39 UTC