From 4317d3f1cb4cafc7b1ea154c0e89e4dcae2700ba Mon Sep 17 00:00:00 2001 From: myreen Date: Mon, 4 Apr 2022 08:16:57 +0200 Subject: [PATCH] Update COPYING --- COPYING | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/COPYING b/COPYING index 34e08b0896..98e58dc3e0 100644 --- a/COPYING +++ b/COPYING @@ -1,6 +1,6 @@ CakeML Copyright Notice, License, and Disclaimer. -Copyright 2013-2021 by Anthony Fox, Google LLC, Ramana Kumar, Magnus Myreen, +Copyright 2013-2022 by Anthony Fox, Google LLC, Ramana Kumar, Magnus Myreen, Michael Norrish, Scott Owens, Yong Kiam Tan, and other contributors listed at https://cakeml.org