From 02f195f70003a588cc5d4f0aad910aff2a2a57b7 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Thu, 21 Mar 2024 08:45:03 +0100
Subject: [PATCH] chore: update history

---
 HISTORY.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/HISTORY.md b/HISTORY.md
index 879e5c9002..845c5216ac 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -1,5 +1,10 @@
 # History
 
+# unpublished changes since 12.4.1
+
+- Docs: correct the docs about `traverse` returning void (#3177). 
+  Thanks @rohildshah.
+
 
 # 2024-03-13, 12.4.1