From 07c8d98e88e2f49158c794a665c8fdbb2ae199c0 Mon Sep 17 00:00:00 2001
From: jekyllbot <jekyllbot@jekyllrb.com>
Date: Mon, 5 Jun 2023 05:45:33 -0700
Subject: [PATCH] Update history to reflect merge of #9376 [ci skip]

---
 History.markdown | 1 +
 1 file changed, 1 insertion(+)

diff --git a/History.markdown b/History.markdown
index eae1c312..0edb7944 100644
--- a/History.markdown
+++ b/History.markdown
@@ -16,6 +16,7 @@
   * Mark `highlight` `mark_lines` feature as 4.4 in docs (#9184)
   * Add v3.9.3 release history &amp; post to `master` branch (#9284)
   * Update S3 deployment to remove s3_website (#9221)
+  * Document Exclude behavior, Include overrides and the default exclusion list (#9376)
 
 ### Development Fixes