[webauthn] new commits pushed by equalsJeffH

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

* define non-discoverable credential
  by JeffH
https://github.com/w3c/webauthn/commit/ec05fdf5422c174c54957d6ee8d0a1638e3ddc74

* add non-disco creds restriction
  by JeffH
https://github.com/w3c/webauthn/commit/5f21efaac73a0c9093f7a2a5625663d51702efc9

Received on Wednesday, 8 July 2020 18:45:15 UTC