Skip to content

Propagate MR !929 from `master` to `2018-patches`

Marco Cattaneo requested to merge cherry-pick-6e148e58-2 into 2018-patches

Added new platforms to the list of known ones

Edited by Marco Cattaneo

Merge request reports