Merge 'pere mailmap' from Pere Diaz Bou

Closes #345
2026-01-08 02:34:20 +01:00 · 2024-09-23 09:51:00 -04:00
parent bd11dabc15 3d2e21675c
commit ed3608dc1f
1 changed files with 8 additions and 4 deletions
--- a/.github.json
+++ b/.github.json
@@ -1,6 +1,10 @@
 {
-  "penberg": {
-    "name": "Pekka Enberg",
-    "email": "penberg@ki.fi"
-  }
+    "penberg": {
+        "name": "Pekka Enberg",
+        "email": "penberg@ki.fi"
+    },
+    "pereman2": {
+        "name": "Pere Diaz Bou",
+        "email": "pere-altea@homail.com"
+    }
 }