Update e-mail address

xavierleroy · Oct 9, 2020 · 0c1553a · 0c1553a
1 parent ffac3ea
commit 0c1553a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -4,7 +4,7 @@
 (name cryptokit)
 (source (github xavierleroy/cryptokit))
 (authors "Xavier Leroy")
-(maintainers "Xavier Leroy <xavier.leroy@inria.fr>")
+(maintainers "Xavier Leroy <xavier.leroy@college-de-france.fr>")
 
 (package
  (name cryptokit)