- From: github-actions[bot] via GitHub <sysbot+gh@w3.org>
- Date: Wed, 09 Oct 2024 18:33: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 #2181 from w3c/lint-unused-def-user-credential SHA: 7e716a14c14eeecd3dd26b871eb713c194fc1e01 Reason: push, by selfissued Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> by Michael B. Jones https://github.com/w3c/webauthn/commit/98b0c124a8069f7982dff719d607c376d09f06c4 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 9 October 2024 18:33:17 UTC