Update history and authors list

josdejong · Apr 10, 2021 · 5ff48d0 · 5ff48d0
1 parent 91141bb
commit 5ff48d0
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -147,5 +147,7 @@ redbar0n <[email protected]>
 Flaviu Tamas <[email protected]>
 Josef Wittmann <[email protected]>
 Quentin Truong <[email protected]>
+Tom Hu <[email protected]>
+Viktor <[email protected]>
 
 # Generated by tools/update-authors.js
diff --git a/HISTORY.md b/HISTORY.md
@@ -1,5 +1,11 @@
 # History
 
+# not yet published, version 9.3.1
+
+- Fix #2133: strongly improved the performance of `isPrime`, see #2139. 
+  Thanks @Yaffle.
+
+
 # 2021-03-10, version 9.3.0
 
 - Implemented support for parsing non decimal numbers with radix point,