[w3c/webauthn] d01290: Edit to remove redundant "the"

• From: Emil Lundberg <noreply@github.com>
• Date: Mon, 21 Nov 2022 07:07:19 -0800
• To: public-webauthn@w3.org
• Message-ID: <w3c/webauthn/push/refs/heads/main/5da169-028ccf@github.com>

  Branch: refs/heads/main
  Home:   https://github.com/w3c/webauthn
  Commit: d012907288892214f62fffc823b4c1f6f9f52c2c
      https://github.com/w3c/webauthn/commit/d012907288892214f62fffc823b4c1f6f9f52c2c
  Author: Evan Grim <evan@mirgnave.com>
  Date:   2022-11-19 (Sat, 19 Nov 2022)

  Changed paths:
    M index.bs

  Log Message:
  -----------
  Edit to remove redundant "the"


  Commit: 028ccf809e8067ccbd3052f008128be315554bd0
      https://github.com/w3c/webauthn/commit/028ccf809e8067ccbd3052f008128be315554bd0
  Author: Emil Lundberg <emil@yubico.com>
  Date:   2022-11-21 (Mon, 21 Nov 2022)

  Changed paths:
    M index.bs

  Log Message:
  -----------
  Merge pull request #1826 from egrim/patch-1

Edit to remove redundant "the"


Compare: https://github.com/w3c/webauthn/compare/5da16971d53e...028ccf809e80

Received on Monday, 21 November 2022 15:07:31 UTC