- From: github-actions[bot] via GitHub <sysbot+gh@w3.org>
- Date: Wed, 05 Oct 2022 19:15:16 +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 #1805 from w3c/issue-1752-incorrect-options-variable SHA: e0d10dd63207720e1fb42f96515ab9fe2b442248 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/b63b85b5e3894f9ee3d97ea89a125098000737af -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 5 October 2022 19:15:17 UTC