[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 #1931 from w3c/nsteele-authntctr-def-1743

SHA: 84ef4ac95962af8e6f7e1ef2220d08e9f9dc5db7
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/783d711e06898187adfb9c8361932a0ecc859742



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

Received on Wednesday, 16 August 2023 18:11:14 UTC