Add Karoliine's email to opam maintainer field

sim642 · karoliineh · sim642 · commit d7074f1e9526 · 2024-11-27T13:44:50.000+02:00
opam-repository CI now demands this.

Co-authored-by: Karoliine Holter &lt;karoliine.holter@ut.ee&gt;
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 <simmo.saan@gmail.com>" "Michael Schwarz <michael.schwarz93@gmail.com>" "Karoliine Holter")
+(maintainers "Simmo Saan <simmo.saan@gmail.com>" "Michael Schwarz <michael.schwarz93@gmail.com>" "Karoliine Holter <karoliine.holter@ut.ee>")
 (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 <simmo.saan@gmail.com>"
   "Michael Schwarz <michael.schwarz93@gmail.com>"
-  "Karoliine Holter"
+  "Karoliine Holter <karoliine.holter@ut.ee>"
 ]
 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 <simmo.saan@gmail.com>"
   "Michael Schwarz <michael.schwarz93@gmail.com>"
-  "Karoliine Holter"
+  "Karoliine Holter <karoliine.holter@ut.ee>"
 ]
 authors: [
   "Simmo Saan"

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ Goblint includes analyses for assertions, overflows, deadlocks, etc and can be e`
`9`	`9`	`maintainer: [`
`10`	`10`	`"Simmo Saan <[email protected]>"`
`11`	`11`	`"Michael Schwarz <[email protected]>"`
`12`		`- "Karoliine Holter"`
	`12`	`+ "Karoliine Holter <[email protected]>"`
`13`	`13`	`]`
`14`	`14`	`authors: [`
`15`	`15`	`"Simmo Saan"`
Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ synopsis: "Static analysis framework for C"`
`5`	`5`	`maintainer: [`
`6`	`6`	`"Simmo Saan <[email protected]>"`
`7`	`7`	`"Michael Schwarz <[email protected]>"`
`8`		`- "Karoliine Holter"`
	`8`	`+ "Karoliine Holter <[email protected]>"`
`9`	`9`	`]`
`10`	`10`	`authors: [`
`11`	`11`	`"Simmo Saan"`