[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 #1986 from w3c/bikeshed-tweaks-2

SHA: a8bf3f5ae9543551799eb6f84105cff7b9a8dc47
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/a1b203f49c33967d9c3032a8a7296ed5563556b0



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

Received on Wednesday, 15 November 2023 20:22:57 UTC