[w3c/webauthn] 289c59: update proverif manual link

• From: =JeffH <noreply@github.com>
• Date: Sun, 31 Oct 2021 10:40:17 -0700
• To: public-webauthn@w3.org
• Message-ID: <w3c/webauthn/push/refs/heads/jeffh-proverif-model/000000-289c59@github.com>

  Branch: refs/heads/jeffh-proverif-model
  Home:   https://github.com/w3c/webauthn
  Commit: 289c59483e1e912559c7fede92db2947fb6125d1
      https://github.com/w3c/webauthn/commit/289c59483e1e912559c7fede92db2947fb6125d1
  Author: JeffH <jdhodges@google.com>
  Date:   2021-10-31 (Sun, 31 Oct 2021)

  Changed paths:
    M webauthn.pv

  Log Message:
  -----------
  update proverif manual link

Received on Sunday, 31 October 2021 17:40:29 UTC