From ca1138d1f51a6f7de089ba45b66908763d1cd6da Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Wed, 14 Dec 2022 00:33:05 +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 a72c3c2230..0a0a025989 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit a72c3c22302a0afc468397402f99c6204f089191
+Subproject commit 0a0a025989afbbaac46f6cd698f84ac5debcd862