Merge pull request #108041 from eduardosm/sip5

2021-01-24 23:46:57 +01:00
parent 84709cc077 6347fdf071
commit 930d919eef
4 changed files with 76 additions and 31 deletions
@@ -2589,6 +2589,12 @@
    githubId = 119483;
    name = "Matthew Brown";
  };
+  eduardosm = {
+    email = "esm@eduardosm.net";
+    github = "eduardosm";
+    githubId = 761151;
+    name = "Eduardo Sánchez Muñoz";
+  };
  eduarrrd = {
    email = "e.bachmakov@gmail.com";
    github = "eduarrrd";