chore: update history

josdejong · Nov 28, 2024 · 0fc6d49 · 0fc6d49
1 parent e0d56d2
commit 0fc6d49
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/HISTORY.md b/HISTORY.md
@@ -1,5 +1,9 @@
 # History
 
+# unpublished changes
+
+- Fix: make derivative much faster (#3322). Thanks @paulftw.
+
 # 2024-11-20, 14.0.0
 
 !!! BE CAREFUL: BREAKING CHANGES !!!