[ fix ] missing name in LICENCE file (#2139)

gallais · andreasabel · commit dac1b2b59512 · 2024-07-10T10:43:52.000+02:00
diff --git 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
