chore: update HISTORY.md

josdejong · Dec 18, 2024 · 164c6b0 · 164c6b0
1 parent 0443af5
commit 164c6b0
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 14.0.1
+
+- Docs: fixed description of `sign` in the embedded docs (#3338). 
+  Thanks @witer33.
+
 # 2024-12-11, 14.0.1
 
 - Fix: make derivative much faster (#3322). Thanks @paulftw.