[w3c/webauthn] c7b195: Merge pull request #1771 from w3c/flags-namespace

• From: Emil Lundberg <noreply@github.com>
• Date: Mon, 22 Aug 2022 05:41:01 -0700
• To: public-webauthn@w3.org
• Message-ID: <w3c/webauthn/push/refs/heads/gh-pages/9df900-c7b195@github.com>

  Branch: refs/heads/gh-pages
  Home:   https://github.com/w3c/webauthn
  Commit: c7b195839bbc8648ad804f7691efc665679902be
      https://github.com/w3c/webauthn/commit/c7b195839bbc8648ad804f7691efc665679902be
  Author: Emil Lundberg <emil@yubico.com>
  Date:   2022-08-22 (Mon, 22 Aug 2022)

  Changed paths:
    M index.html

  Log Message:
  -----------
  Merge pull request #1771 from w3c/flags-namespace

SHA: f754904a85127c82e894b2163b2da4a3d57ca4a5
Reason: push, by @emlun

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

Received on Monday, 22 August 2022 12:41:15 UTC