From 64f066def90e68fe1344c7ba8ca8e801ecd06039 Mon Sep 17 00:00:00 2001 From: swrup Date: Mon, 15 Dec 2025 16:50:59 +0100 Subject: [PATCH] --- src/secmod.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/secmod.ml b/src/secmod.ml index 48cad7e5..548338b6 100644 --- a/src/secmod.ml +++ b/src/secmod.ml @@ -2,7 +2,7 @@ - key rotation - how many signkey to use? we just use 1 for now - - does the secmod's key as metadata/expiration date? *) + - does the secmod's own key as metadata/expiration date? *) open Syntax open Crypto