- From: Michael B. Jones <noreply@github.com>
- Date: Wed, 09 Oct 2024 11:32:13 -0700
- To: public-webauthn@w3.org
Branch: refs/heads/main Home: https://github.com/w3c/webauthn Commit: 5887b9f253fcc738db8a5c66818bb3ad954bc84f https://github.com/w3c/webauthn/commit/5887b9f253fcc738db8a5c66818bb3ad954bc84f Author: Emil Lundberg <emil@yubico.com> Date: 2024-10-07 (Mon, 07 Oct 2024) Changed paths: M index.bs Log Message: ----------- Drop definition "User Credential" unused since 2ec45f8b34638b0c62bb4208507bc4a76cd0ef4f Commit: 7e716a14c14eeecd3dd26b871eb713c194fc1e01 https://github.com/w3c/webauthn/commit/7e716a14c14eeecd3dd26b871eb713c194fc1e01 Author: Michael B. Jones <michael_b_jones@hotmail.com> Date: 2024-10-10 (Thu, 10 Oct 2024) Changed paths: M index.bs Log Message: ----------- Merge pull request #2181 from w3c/lint-unused-def-user-credential Drop definition "User Credential" unused since PR #2109 Compare: https://github.com/w3c/webauthn/compare/1fcb5c2cef53...7e716a14c14e To unsubscribe from these emails, change your notification settings at https://github.com/w3c/webauthn/settings/notifications
Received on Wednesday, 9 October 2024 18:32:16 UTC