Rename z77z into maggesi

Make the "handle" of the maintainer match the name of the github account. Also update the email address.
2019-10-07 17:05:25 +02:00
parent 2b05a35e08
commit ff1ed720e2
39 changed files with 40 additions and 40 deletions
@@ -45,6 +45,6 @@ stdenv.mkDerivation {
    homepage    = http://www.cl.cam.ac.uk/~jrh13/hol-light/;
    license     = licenses.bsd2;
    platforms   = platforms.unix;
-    maintainers = with maintainers; [ thoughtpolice z77z vbgl ];
+    maintainers = with maintainers; [ thoughtpolice maggesi vbgl ];
  };
 }