chore: update history

josdejong · Mar 21, 2024 · 02f195f · 02f195f
1 parent a29bab4
commit 02f195f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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