Add Karoliine's email to opam maintainer field

opam-repository CI now demands this. Co-authored-by: Karoliine Holter <[email protected]>
goblint · Nov 27, 2024 · d7074f1 · d7074f1
1 parent ec06dea
commit d7074f1
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/dune-project b/dune-project
@@ -16,7 +16,7 @@
 (homepage "https://goblint.in.tum.de")
 (documentation "https://goblint.readthedocs.io/en/latest/")
 (authors "Simmo Saan" "Michael Schwarz" "Julian Erhard" "Sarah Tilscher" "Karoliine Holter" "Ralf Vogler" "Kalmer Apinis" "Vesal Vojdani" ) ; same authors as in .zenodo.json and CITATION.cff
-(maintainers "Simmo Saan <[email protected]>" "Michael Schwarz <[email protected]>" "Karoliine Holter")
+(maintainers "Simmo Saan <[email protected]>" "Michael Schwarz <[email protected]>" "Karoliine Holter <[email protected]>")
 (license MIT)
 
 (package

diff --git a/goblint.opam b/goblint.opam
@@ -9,7 +9,7 @@ Goblint includes analyses for assertions, overflows, deadlocks, etc and can be e
 maintainer: [
   "Simmo Saan <[email protected]>"
   "Michael Schwarz <[email protected]>"
-  "Karoliine Holter"
+  "Karoliine Holter <[email protected]>"
 ]
 authors: [
   "Simmo Saan"

diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -5,7 +5,7 @@ synopsis: "Static analysis framework for C"
 maintainer: [
   "Simmo Saan <[email protected]>"
   "Michael Schwarz <[email protected]>"
-  "Karoliine Holter"
+  "Karoliine Holter <[email protected]>"
 ]
 authors: [
   "Simmo Saan"