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

Update PLATFORMS (January 2019)

See merge request !1405
2 jobs for master in 54 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #159057
amd64 linux
docs:sid:amd64

00:00:43

 
  Push
passed #159058
amd64 linux
push:docs:sid:amd64

00:00:11