Skip to content

Cherry-pick of "Merge branch 'UbuntuFixes-1.0-20170709' into '1.0'" into master

Attila Krasznahorkay requested to merge cherry-pick-0a647ab5 into master

Ubuntu Fixes, 1.0 branch (2017.07.10.)

See merge request !97 (merged)

Merge request reports