[webauthn] new commits pushed by equalsJeffH

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

* Do not wrap `otherUI` into credential ID (#1460)

* Do not wrap otherUI into credential ID

* Update index.bs

* s/it/[=otherUI=]
  by Nina Satragno
https://github.com/w3c/webauthn/commit/f018e5987613b58bb363fce246af876452f98ecc



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

Received on Wednesday, 29 July 2020 21:27:19 UTC