[webauthn] new commits pushed by equalsJeffH

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

* fix bug emlun caught (thx) & apply polish
  by JeffH
https://github.com/w3c/webauthn/commit/9a786838e11adabed6f0c562645006ce01ee7854



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

Received on Tuesday, 16 November 2021 01:07:41 UTC