From d7074f1e9526c0df5f146d267c35038b2bb65770 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 27 Nov 2024 13:44:50 +0200
Subject: [PATCH] Add Karoliine's email to opam maintainer field

opam-repository CI now demands this.

Co-authored-by: Karoliine Holter <karoliine.holter@ut.ee>
---
 dune-project        | 2 +-
 goblint.opam        | 2 +-
 goblint.opam.locked | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/dune-project b/dune-project
index 54915cf964..f2f87b3c58 100644
--- 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
index 44e5ccd2c2..f74ffab8c4 100644
--- 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
index 9fbee1e02b..cedb4088b8 100644
--- 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"