Commit 64745bbc authored by Evan Hunt's avatar Evan Hunt

Merge branch 'michal/update-PLATFORMS-2019-01' into 'master'

Update PLATFORMS (January 2019)

See merge request !1405
parents 14d48a9b fd89fa01
Pipeline #9105 passed with stages
in 54 seconds