Fix build in Jenkins #58

Closed
romanjaros wants to merge 1 commit from fix_build into master

Diff content is not available