[webauthn] new commits pushed by equalsJeffH

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

* update per reviews and merge-from-master
  by JeffH
https://github.com/w3c/webauthn/commit/8f7f686a45065499d7c4d60eb2e71bf6d2b1e270

Received on Wednesday, 15 July 2020 16:43:13 UTC