Skip to content

Synchronize PlatformInfo with master version

Marco Clemencic requested to merge run2/update-platforminfo into run2-patches

Basically a backport of !4317 (merged), but also including other minor changes to keep the two versions of the files identical.

Merge request reports