Fix mailmap

semigroups · Mar 11, 2024 · 7c7bfe2 · 7c7bfe2
1 parent dc6462b
commit 7c7bfe2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.mailmap b/.mailmap
@@ -4,6 +4,8 @@ Reinis Cirpons <[email protected]> Reinis Cirpons <43414125+reiniscirpons@u
 Reinis Cirpons <[email protected]> reiniscirpons <[email protected]>
 Tom Conti-Leslie <[email protected]> Tom Conti-Leslie <[email protected]>
 Joseph Edwards <[email protected]> Joseph Edwards <[email protected]>
+Joseph Edwards <[email protected]> Joe Edwards <[email protected]>
+Joseph Edwards <[email protected]> Joseph Edwards <[email protected]>
 Luke Elliott <[email protected]> le27 <[email protected]>
 Fernando Flores Brito <[email protected]> Fernando Flores Brito <[email protected]>
 Nick Ham <[email protected]>

diff --git a/PackageInfo.g b/PackageInfo.g
@@ -114,7 +114,7 @@ Persons := [
 
   rec(
     LastName      := "Edwards",
-    FirstNames    := "Joseph",
+    FirstNames    := "Joe",
     IsAuthor      := true,
     IsMaintainer  := false,
     Email         := "[email protected]",