Skip to content
Snippets Groups Projects
Commit 0c6eecb6 authored by Christian Dreher's avatar Christian Dreher
Browse files

Merge branch 'fix/build-issues-skills-gui' into 'master' 

using equals operator to fix build problem on Ubuntu 18

See merge request !522
parents 888866fa c4b2c74d
No related branches found
No related tags found
1 merge request!522using equals operator to fix build problem on Ubuntu 18
Pipeline #22626 failed
Stage: build-and-test
Stage: deploy
Stage: post-deploy-test