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

jamesmckinna · Nov 4, 2023 · 135951f · 135951f
1 parent cb92af1
commit 135951f
Showing 1 changed file with 2 additions and 1 deletion.
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