[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 #1878 from w3c/json

SHA: ae71f1008443b7945b1b5d8378880adf55d8b811
Reason: push, by agl

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
  by Adam Langley
https://github.com/w3c/webauthn/commit/2e2de6518a16dea60b9e492f55d7582e9dfcd704



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

Received on Wednesday, 17 May 2023 19:17:42 UTC