Update library.json

madhephaestus · Jun 27, 2023 · 7c18b07 · 7c18b07
1 parent e39a1e2
commit 7c18b07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library.json b/library.json
@@ -11,7 +11,7 @@
   [
     {
       "name": "Kevin Harrington",
-      "email": "harrington@wpi.edu",
+      "email": "mad.hephaestus@gmail.com",
       "maintainer": true
     }
   ]