From 10f96aeba339640db54171b5ba2ae18f867f8622 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Fri, 14 Apr 2023 00:37:16 +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 d26772607c..a9e2358470 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit d26772607ccce042b78febf757229fb7925cac32
+Subproject commit a9e23584701e37d4820fa55c999830c61bd5f1c2