Update the core team (#4459)

gvanrossum · msullivan · commit 0fe13e21f98b · 2018-01-17T13:15:33.000-05:00
* Update the core team
diff --git a/CREDITS b/CREDITS
@@ -11,6 +11,8 @@ Mypy team:
 
   Jukka Lehtosalo <jukka.lehtosalo@iki.fi>
   Guido van Rossum <guido@python.org>
+  Ivan Levkivskyi
+  Michael J. Sullivan
 
 Past Dropbox core team members:
 
@@ -23,7 +25,6 @@ Past Dropbox core team members:
 
 Non-Dropbox core team members:
 
-  Ivan Levkivskyi
   Ethan Smith
   Jelle Zijlstra
 
