[w3c/webauthn] 98b0c1: Merge pull request #2181 from w3c/lint-unused-def-... from Michael B. Jones on 2024-10-09 (public-webauthn@w3.org from October 2024)

From: Michael B. Jones <noreply@github.com>
Date: Wed, 09 Oct 2024 11:33:36 -0700
To: public-webauthn@w3.org
Message-ID: <w3c/webauthn/push/refs/heads/gh-pages/581c10-98b0c1@github.com>

  Branch: refs/heads/gh-pages
  Home:   https://github.com/w3c/webauthn
  Commit: 98b0c124a8069f7982dff719d607c376d09f06c4
      https://github.com/w3c/webauthn/commit/98b0c124a8069f7982dff719d607c376d09f06c4
  Author: Michael B. Jones <michael_b_jones@hotmail.com>
  Date:   2024-10-09 (Wed, 09 Oct 2024)

  Changed paths:
    M index.html

  Log Message:
  -----------
  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>



To unsubscribe from these emails, change your notification settings at https://github.com/w3c/webauthn/settings/notifications

Received on Wednesday, 9 October 2024 18:33:39 UTC