Merge branch 'master' into kevin-brown-nedbatGH-1541

kevin-brown · Apr 26, 2023 · 1cdeef3 · 1cdeef3
2 parents 66809a7 + 74f179b
commit 1cdeef3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt
@@ -112,6 +112,7 @@ Loïc Dachary
 Lorenzo Micò
 Manuel Jacob
 Marc Abramowitz
+Marc Gibbons
 Marc Legendre
 Marcelo Trylesinski
 Marcus Cobden