From 7c36cc7bdf5b20bcc98ce3c6a2561edf12ff65ac Mon Sep 17 00:00:00 2001
From: Guillaume Allais <guillaume.allais@ens-lyon.org>
Date: Thu, 12 Oct 2023 13:57:28 +0100
Subject: [PATCH] [ fix ] missing name in LICENCE file

---
 LICENCE | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/LICENCE b/LICENCE
index 75026ebb47..df31f24985 100644
--- a/LICENCE
+++ b/LICENCE
@@ -7,7 +7,8 @@ Eric Mertens, Joachim Breitner, Liyang Hu, Noam Zeilberger, Érdi Gergő,
 Stevan Andjelkovic, Helmut Grohne, Guilhem Moulin, Noriyuki Ohkawa,
 Evgeny Kotelnikov, James Chapman, Wen Kokke, Matthew Daggitt, Jason Hu,
 Sandro Stucki, Milo Turner, Zack Grannan, Lex van der Stoep,
-Jacques Carette, James McKinna and some anonymous contributors.
+Jacques Carette, James McKinna, Guillaume Allais
+and some anonymous contributors.
 
 Permission is hereby granted, free of charge, to any person obtaining a
 copy of this software and associated documentation files (the