From 9b1f3b58386c110302747d2f49d5a0bcfb334bd4 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Wed, 8 Nov 2023 00:36:48 +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 172ca9edce..278f7b7d0c 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 172ca9edceb7dd2a7bcc5ed7e91d57c00066e3d4
+Subproject commit 278f7b7d0cda1aab5789122d808f411cd05a20fc