- From: github-actions[bot] via GitHub <sysbot+gh@w3.org>
- Date: Wed, 16 Nov 2022 20:08:53 +0000
- To: public-webauthn@w3.org
The following commits were just pushed by github-actions[bot] to https://github.com/w3c/webauthn: * Merge pull request #1813 from w3c/issue-1811-credential-record-flag-names SHA: 5da16971d53ebbc4f236456847bd19bce7c9bfcb 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/48ff78227ad80784d23c8629dff43e81b9f2b4a2 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 16 November 2022 20:08:55 UTC