From 2b6065e44930ef760ed4f3c6e8fd770ee1bb3080 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Sat, 22 Aug 2020 12:32:13 +0200
Subject: [PATCH] Update history and authors

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

diff --git a/AUTHORS b/AUTHORS
index 61b33b964..5b83c2b20 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -135,5 +135,7 @@ Markel F <github@markel.dev>
 Lazersmoke <lazersmoke@gmail.com>
 SungJinWoo-SL <56172528+SungJinWoo-SL@users.noreply.github.com>
 Nick Ewing <nick@nickewing.net>
+jos <jos@teqplay.nl>
+rnd-debug <58293036+rnd-debug@users.noreply.github.com>
 
 # Generated by tools/update-authors.js
diff --git a/HISTORY.md b/HISTORY.md
index 516d99db2..3a42b0d28 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,6 +3,8 @@
 # not yet published, version 7.2.0
 
 - Implemented new function `diff`, see #1634, #1920. Thanks @Veeloxfire. 
+- Implemented support for norm 2 for matrices in function `norm`. 
+  Thanks @rnd-debug. 
 
 
 # 2020-07-13, version 7.1.0