From 0fc6d498107be0076d432a4e2f7535bc6573fd95 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Thu, 28 Nov 2024 13:40:04 +0100
Subject: [PATCH] chore: update history

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

diff --git a/HISTORY.md b/HISTORY.md
index 7e3d8d0b8..2a2682865 100644
--- 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 !!!