[w3c/webauthn] 3a86e6: Merge pull request #1969 from w3c/mm-1958-fix-publ... from Matthew Miller on 2023-10-04 (public-webauthn@w3.org from October 2023)

From: Matthew Miller <noreply@github.com>
Date: Wed, 04 Oct 2023 12:45:13 -0700
To: public-webauthn@w3.org
Message-ID: <w3c/webauthn/push/refs/heads/gh-pages/7a3ef1-3a86e6@github.com>

  Branch: refs/heads/gh-pages
  Home:   https://github.com/w3c/webauthn
  Commit: 3a86e679836b039b6c300ecde9ac1835a46b6c7a
      https://github.com/w3c/webauthn/commit/3a86e679836b039b6c300ecde9ac1835a46b6c7a
  Author: Matthew Miller <mmiller@duosecurity.com>
  Date:   2023-10-04 (Wed, 04 Oct 2023)

  Changed paths:
    M index.html

  Log Message:
  -----------
  Merge pull request #1969 from w3c/mm-1958-fix-publickeycredentialjson-webidl

SHA: a824429227336d8ce7d13cb12510731e2d514792
Reason: push, by MasterKale

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

Received on Wednesday, 4 October 2023 19:45:18 UTC