Skip to content

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

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

Added new platforms to the list of known ones

Edited by Marco Cattaneo

Merge request reports