only one Mike Skells

This commit is contained in:
Seth Tisue 2020-03-29 19:59:55 -07:00
parent 085b6cf81a
commit 998541a92c
1 changed files with 1 additions and 0 deletions

View File

@ -49,6 +49,7 @@ Michael Pradel <pradel@epfl.ch>
Michel Schinz <schinz@epfl.ch>
Miguel Garcia <magarcia@epfl.ch>
Miguel Garcia <magarcia@epfl.ch> <miguelalfredo.garcia@epfl.ch>
Mike Skells <mike.skells@talk21.com>
Mirco Dotta <mirco.dotta@typesafe.com>
Mirco Dotta <mirco.dotta@typesafe.com> <mirco.dotta@gmail.com>
Moez A. Abdel-Gawad <moez@epfl.ch>