[webauthn] new commits pushed by equalsJeffH

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

* also incorp jcjones' other suggestion ;-)

Co-authored-by: J.C. Jones <jc@mozilla.com>
  by =JeffH
https://github.com/w3c/webauthn/commit/5187132923d7b77b1cc0173b3515cbafd392417d



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

Received on Sunday, 8 November 2020 22:01:03 UTC