[webauthn] new commits pushed by equalsJeffH

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

* incorp another @emlun suggestion, thx!
  by JeffH
https://github.com/w3c/webauthn/commit/aba7dd6c9268f7ea06c33537b2808e7f7003ce08



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

Received on Wednesday, 17 February 2021 21:13:15 UTC