aboutsummaryrefslogtreecommitdiffstats
path: root/lib/public_key/src/public_key.app.src
diff options
context:
space:
mode:
Diffstat (limited to 'lib/public_key/src/public_key.app.src')
-rw-r--r--lib/public_key/src/public_key.app.src1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/public_key/src/public_key.app.src b/lib/public_key/src/public_key.app.src
index 4cc81ea573..9f0677606d 100644
--- a/lib/public_key/src/public_key.app.src
+++ b/lib/public_key/src/public_key.app.src
@@ -7,6 +7,7 @@
pubkey_ssh,
pubkey_cert,
pubkey_cert_records,
+ pubkey_crl,
'OTP-PUB-KEY',
'PKCS-FRAME'
]},