Merge pull request #70641 from maggesi/rename-z77z-into-maggesi

Rename z77z into maggesi
This commit is contained in:
Matthew Bauer
2019-11-07 17:18:20 -05:00
committed by GitHub
39 changed files with 40 additions and 40 deletions

View File

@@ -7340,8 +7340,8 @@
githubId = 5253988;
name = "yvt";
};
z77z = {
email = "maggesi@math.unifi.it";
maggesi = {
email = "marco.maggesi@gmail.com";
github = "maggesi";
githubId = 1809783;
name = "Marco Maggesi";