[w3c/webauthn] 4a55de: Merge pull request #1858 from w3c/issue1853

• From: Adam Langley <noreply@github.com>
• Date: Thu, 09 Mar 2023 16:50:38 -0800
• To: public-webauthn@w3.org
• Message-ID: <w3c/webauthn/push/refs/heads/gh-pages/580eb5-4a55de@github.com>

  Branch: refs/heads/gh-pages
  Home:   https://github.com/w3c/webauthn
  Commit: 4a55de09b3c4a31b0147f31ef2752fa8a6fd8048
      https://github.com/w3c/webauthn/commit/4a55de09b3c4a31b0147f31ef2752fa8a6fd8048
  Author: Adam Langley <agl@google.com>
  Date:   2023-03-10 (Fri, 10 Mar 2023)

  Changed paths:
    M index.html

  Log Message:
  -----------
  Merge pull request #1858 from w3c/issue1853

SHA: fa65a36a18d89a53f8f0fca11e2e4ac48b3c1597
Reason: push, by agl

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Received on Friday, 10 March 2023 00:50:50 UTC