Fixing CI build pipeline issues.
What issues does this fix?
Pipeline #1688 passed
Pipeline passed for c1143e1b on feature/fixing-build-issues 7 years ago
Merge details
Pipeline #1689 passed
Pipeline passed for 81a8b792 on devel 7 years ago
marked the task @cw as completed
@amyblank please review, would like to merge this into your other merge requests so they build again
Looks good
marked the task @amyblank as completed
merged
mentioned in commit 81a8b792