From 85a0936ec6dc11406dd40546753d3afdaf276614 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Fri, 12 Mar 2021 00:37:21 +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 7897201d57..412a46b035 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 7897201d5765535f9531a77b5fa70793e8b6acd0
+Subproject commit 412a46b035a646f890933de84ac2e7b71c6473a7