[webauthn] new commits pushed by equalsJeffH

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

* polish emlun's suggestion to not be a Note
  by JeffH
https://github.com/w3c/webauthn/commit/e23c4b997edc4f90cd948dd33c6c768689642e72



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

Received on Tuesday, 11 January 2022 20:08:04 UTC