Merge pull request #47542 from prusnak/gcc-arm-embedded_update

gcc-arm-embedded: 6-2017-q2-update -> 7-2018-q2-update
2018-10-03 17:29:25 +01:00
parent c5d4957103 b3531b9719
commit 50a306125c
4 changed files with 48 additions and 3 deletions
@@ -3324,6 +3324,11 @@
    github = "proglodyte";
    name = "Proglodyte";
  };
+  prusnak = {
+    email = "stick@gk2.sk";
+    github = "prusnak";
+    name = "Pavol Rusnak";
+  };
  pshendry = {
    email = "paul@pshendry.com";
    github = "pshendry";