Merge pull request #54619 from Mic92/remove-wkennington

treewide: remove wkennington as maintainer
2019-01-26 23:37:27 +00:00
parent 61fb507aaa b5c1deca8a
commit ba34ffc665
176 changed files with 71 additions and 191 deletions
@@ -4912,11 +4912,6 @@
    github = "wjlroe";
    name = "William Roe";
  };
-  wkennington = {
-    email = "william@wkennington.com";
-    github = "wkennington";
-    name = "William A. Kennington III";
-  };
  wmertens = {
    email = "Wout.Mertens@gmail.com";
    github = "wmertens";