Merge pull request #16 from fingolfin/mh/maint

homalg-project · Jan 3, 2025 · b190d28 · b190d28
2 parents 21695bd + b3532d6
commit b190d28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -35,7 +35,7 @@ Persons := [
 
   rec(
     IsAuthor := true,
-    IsMaintainer := true,
+    IsMaintainer := false,
     FirstNames := "Sebastian",
     LastName := "Gutsche",
     WWWHome := "https://sebasguts.github.io/",