[webauthn] new commits pushed by MasterKale

The following commits were just pushed by MasterKale to https://github.com/w3c/webauthn:

* Rename section titles
  by Matthew Miller
https://github.com/w3c/webauthn/commit/1d5a8d304a124877bc9d363f54e2ddd7dde6d614

* Clean up PR
  by Matthew Miller
https://github.com/w3c/webauthn/commit/2fb6c0273762c648d9533c3de5bb687e2113615b

* Mark sections non-normative
  by Matthew Miller
https://github.com/w3c/webauthn/commit/6760c571dc51670d256ddbc37fd4ddf8dda8b8c0



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

Received on Tuesday, 9 July 2024 18:22:13 UTC