Cherry-pick "Merge branch 'Ubuntu1804Fixes-1.0-20190121' into '1.0'" into master (!426) · Merge requests · atlas / atlasexternals · GitLab

Attila Krasznahorkay requested to merge cherry-pick-0b3fed96 into master Jan 21, 2019

Ubuntu 18.04 Fix(es), 1.0 branch (2019.01.21.)

See merge request !424 (merged)

(cherry picked from commit 0b3fed96)

ce9e817c Updated Davix to depend on Python, if we build Python ourselves.