From 841cef6928b52e5447c616f99d01ea1bf4eda133 Mon Sep 17 00:00:00 2001 From: swrup Date: Thu, 12 Mar 2026 17:34:39 +0100 Subject: [PATCH] --- src/secmod_eddsa.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/secmod_eddsa.ml b/src/secmod_eddsa.ml index 71b28d06..6bf84922 100644 --- a/src/secmod_eddsa.ml +++ b/src/secmod_eddsa.ml @@ -1,6 +1,6 @@ (* TODO ! use lock - ! Scanf not thread-safe, replace with Angstrom(?) + !? Scanf not thread-safe schedule tasks sign: check timestamps before signing *) (* IMPROVE