From 5ff48d009f0bf2eb97113bce628a064392315838 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Sat, 10 Apr 2021 10:17:16 +0200
Subject: [PATCH] Update history and authors list

---
 AUTHORS    | 2 ++
 HISTORY.md | 6 ++++++
 2 files changed, 8 insertions(+)

diff --git a/AUTHORS b/AUTHORS
index ec28c743ea..e0a91bc5a3 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -147,5 +147,7 @@ redbar0n <redbar0n@users.noreply.github.com>
 Flaviu Tamas <me@flaviutamas.com>
 Josef Wittmann <josef.wittmann@tutanota.com>
 Quentin Truong <quentintruong@users.noreply.github.com>
+Tom Hu <thomasrockhu@users.noreply.github.com>
+Viktor <vic99999@yandex.ru>
 
 # Generated by tools/update-authors.js
diff --git a/HISTORY.md b/HISTORY.md
index 8c2e5be18a..0394794100 100644
--- 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,