From 85acdea90f213b702f18c904f0eb075c18c558a0 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Fri, 17 Mar 2023 00:17:22 +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 aac2acb028..714a02ced4 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit aac2acb028ea7933bf69021cadb84ca1929b1109
+Subproject commit 714a02ced483df50a9f7ab383c4dfd7f7d2889ad