Merge commit '998541a92c' into merge/2.12.x-to-2.13.x-20200514

This commit is contained in:
Jason Zaugg 2020-05-14 09:46:18 +10:00
commit 2f4c8bad05
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>