Merge pull request #98785 from andresilva/polkadot-0.8.24

polkadot: 0.2.17 -> 0.8.24
2020-10-20 15:20:50 +02:00
parent 1e454e584e 5bafcbf7c1
commit 8dd059e344
3 changed files with 56 additions and 19 deletions
@@ -520,6 +520,12 @@
    githubId = 293191;
    name = "Andres Loeh";
  };
+  andresilva = {
+    email = "andre.beat@gmail.com";
+    github = "andresilva";
+    githubId = 123550;
+    name = "André Silva";
+  };
  andrestylianos = {
    email = "andre.stylianos@gmail.com";
    github = "andrestylianos";