From 8a4041b77678a858e0c67d92a2573c1ca330068d Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Thu, 13 Mar 2025 00:13:10 +0000
Subject: [PATCH] Update doc submodule [nomail] [skip ci]

---
 doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc b/doc
index 3d7c3c18de..12ce9ccb17 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 3d7c3c18decea20373be1454759d03202789c929
+Subproject commit 12ce9ccb171889c029e3560fa3f76549bb80d35c