From efc312b30903a0608b4d930eef54080c8fb42e31 Mon Sep 17 00:00:00 2001 From: Jos de Jong Date: Mon, 17 Feb 2025 17:21:13 +0100 Subject: [PATCH] chore: update HISTORY.md --- HISTORY.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/HISTORY.md b/HISTORY.md index a9e51bf9e..de9eb8d05 100644 --- a/HISTORY.md +++ b/HISTORY.md @@ -1,6 +1,6 @@ # History -# 2024-02-05, 14.2.1 +# unpublished changes since 14.2.1 - Feat: improved performance of function `flatten` (#3354). Thanks @dvd101x.