From 32926e8def633c72c3730e164a9a25be9a493e13 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Thu, 20 Apr 2023 00:34:37 +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 a9e2358470..880f039845 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit a9e23584701e37d4820fa55c999830c61bd5f1c2
+Subproject commit 880f039845ab87be7674a287718851c899369443