From aac003223fc7712ee9467244dc84a10a484a9226 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Sat, 21 Nov 2020 00:33:51 +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 7658414ac4..88b48fe09d 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 7658414ac454522ecd5710c13ca6e0bc4a842e12
+Subproject commit 88b48fe09d355239afd74a36d4f948629ee0e95d