[w3c/webauthn] 5887b9: Drop definition "User Credential" unused since 2ec... 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:32:13 -0700
To: public-webauthn@w3.org
Message-ID: <w3c/webauthn/push/refs/heads/main/1fcb5c-7e716a@github.com>

  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