From f38eae06f1e32ed00e18c7a1f4af2180f5db2f39 Mon Sep 17 00:00:00 2001
From: zeek-bot <info@zeek.org>
Date: Tue, 25 May 2021 00:37:23 +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 0027847313..a9b9f50be3 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 002784731395c0652a2b2cfaca1a3097ee941ec1
+Subproject commit a9b9f50be3c0740010e25f61767a1ad5729dcb6e