Merge pull request #217 from hannesm/firobe-ec

add Firobe to mirage-crypto-ec authors
mirage · Mar 19, 2024 · 5864c0d · 5864c0d
2 parents 14006f2 + c7c4eb5
commit 5864c0d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mirage-crypto-ec.opam b/mirage-crypto-ec.opam
@@ -13,6 +13,7 @@ authors: [
   "Nathan Rebours <nathan.p.rebours@gmail.com>"
   "Clément Pascutto <clement@tarides.com>"
   "Etienne Millon <me@emillon.org>"
+  "Virgile Robles <virgile.robles@protonmail.ch>"
 # and from the fiat-crypto AUTHORS file
   "Andres Erbsen <andreser@mit.edu>"
   "Google Inc."