[webauthn] Pull Request: Merge #1887 into main

MasterKale has just submitted a new pull request for https://github.com/w3c/webauthn:

== Merge #1887 into main ==
I didn't catch before merging it that #1887 sought to merge a "jsoneasy" branch into a "json" branch. I think it was intended to target "main" branch, though, so I went ahead and did that here.

See https://github.com/w3c/webauthn/pull/1906


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

Received on Wednesday, 14 June 2023 19:57:03 UTC