[webauthn] new commits pushed by github-actions[bot]

The following commits were just pushed by github-actions[bot] to https://github.com/w3c/webauthn:

* Merge pull request #1969 from w3c/mm-1958-fix-publickeycredentialjson-webidl

SHA: a824429227336d8ce7d13cb12510731e2d514792
Reason: push, by MasterKale

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
  by Matthew Miller
https://github.com/w3c/webauthn/commit/3a86e679836b039b6c300ecde9ac1835a46b6c7a



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

Received on Wednesday, 4 October 2023 19:45:07 UTC