[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 #1880 from w3c/credProps-displayNames

SHA: 28d90b20ab307cde506d193ddb466e340804019f
Reason: push, by emlun

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/1200049d868d1600fd9b969d57e6a2231ef326cd



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

Received on Wednesday, 11 October 2023 18:58:32 UTC