Skip to content

Resolve "Describe supported OSes"

Tomek Mrugalski requested to merge 1055-build-fix into master

Closes #1055 (closed). Fixes build problem detected by jenkins

Edited by Tomek Mrugalski

Merge request reports