From fa1ca928cf7df8c72248c4c32ee4818a6e6bb238 Mon Sep 17 00:00:00 2001
From: ID Bot <idbot@example.com>
Date: Thu, 12 Oct 2023 00:36:49 +0000
Subject: [PATCH] Script updating archive at 2023-10-12T00:36:49Z. [ci skip]

---
 archive.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/archive.json b/archive.json
index 69173aa..1c7d856 100644
--- a/archive.json
+++ b/archive.json
@@ -1,6 +1,6 @@
 {
   "magic": "E!vIA5L86J2I",
-  "timestamp": "2023-10-10T00:38:36.891155+00:00",
+  "timestamp": "2023-10-12T00:36:47.665187+00:00",
   "repo": "cfrg/draft-irtf-cfrg-cryptography-specification",
   "labels": [
     {