From cc25129b2ffd94e70107b9ee8d2beab747a0750a Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Wed, 3 May 2023 00:48:40 +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 ce5f428beb..f3f85f68ec 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit ce5f428bebfa8eda2514bfa0e034528752585e8e
+Subproject commit f3f85f68ecec844e5770900aa871361627451ae1