Update history and authors list

josdejong · Sep 6, 2020 · b17b6eb · b17b6eb
1 parent 943f1db
commit b17b6eb
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -137,5 +137,6 @@ SungJinWoo-SL <[email protected]>
 Nick Ewing <[email protected]>
 jos <[email protected]>
 rnd-debug <[email protected]>
+PoppinL <[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 8.0.0
+
+- Replaced random library `seed-random` with `seedrandom`, see #1955. 
+  Thanks @poppinlp.
+
+
 # not yet published, version 7.3.0
 
 - Implemented functions `usolveAll` and `lsolveAll`, see #1916. Thanks @m93a.