From 3b0e0c598e47f9e011d1b9a56904708e78ac079a Mon Sep 17 00:00:00 2001
From: Karoliine Holter <karoliine.holter@hotmail.com>
Date: Wed, 10 Jan 2024 11:48:50 +0200
Subject: [PATCH] Add Karoliine as a maintainer to relevant files #1315

---
 dune-project        | 2 +-
 goblint.opam        | 1 +
 goblint.opam.locked | 1 +
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/dune-project b/dune-project
index 37e81f4199..de6e955e60 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" "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>")
+(maintainers "Simmo Saan <simmo.saan@gmail.com>" "Michael Schwarz <michael.schwarz93@gmail.com>" "Karoliine Holter")
 (license MIT)
 
 (package
diff --git a/goblint.opam b/goblint.opam
index b5f1f360dc..7a75a1fb45 100644
--- a/goblint.opam
+++ b/goblint.opam
@@ -4,6 +4,7 @@ synopsis: "Static analysis framework for C"
 maintainer: [
   "Simmo Saan <simmo.saan@gmail.com>"
   "Michael Schwarz <michael.schwarz93@gmail.com>"
+  "Karoliine Holter"
 ]
 authors: [
   "Simmo Saan"
diff --git a/goblint.opam.locked b/goblint.opam.locked
index 02eac0bb75..b0a1c9ef20 100644
--- a/goblint.opam.locked
+++ b/goblint.opam.locked
@@ -5,6 +5,7 @@ synopsis: "Static analysis framework for C"
 maintainer: [
   "Simmo Saan <simmo.saan@gmail.com>"
   "Michael Schwarz <michael.schwarz93@gmail.com>"
+  "Karoliine Holter"
 ]
 authors: [
   "Simmo Saan"