[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 #1988 from w3c/add-credprops-to-make

SHA: 84feb409dc9bb19675dffd93ecba411682bed31e
Reason: push, by nicksteele

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
  by Nick Steele
https://github.com/w3c/webauthn/commit/46277395a1ab192f947042c7d305adf7bc5edcf7



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

Received on Wednesday, 29 November 2023 20:22:02 UTC