From 5887b9f253fcc738db8a5c66818bb3ad954bc84f Mon Sep 17 00:00:00 2001
From: Emil Lundberg <emil@yubico.com>
Date: Mon, 7 Oct 2024 15:52:46 +0200
Subject: [PATCH] Drop definition "User Credential" unused since
 2ec45f8b34638b0c62bb4208507bc4a76cd0ef4f

---
 index.bs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/index.bs b/index.bs
index 060d1b51e..1ca58aa2c 100644
--- a/index.bs
+++ b/index.bs
@@ -1087,7 +1087,6 @@ BCP 14 [[!RFC2119]] [[!RFC8174]] when, and only when, they appear in all capital
 : <dfn>Credential Private Key</dfn>
 : <dfn>Credential Public Key</dfn>
 : <dfn>User Public Key</dfn>
-: <dfn>User Credential</dfn>
 :: A [=credential key pair=] is a pair of asymmetric cryptographic keys generated by an [=authenticator=]
     and [=scoped=] to a specific [=[WRP]=]. It is the central part of a [=public key credential=].