[webauthn] new commits pushed by emlun

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

* Remove unused <dfn>
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/f3428366216995b4ec0d3c8c3c8932a697e2b75a



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

Received on Tuesday, 19 March 2024 22:09:46 UTC