Skip to content

Cherry-pick "Merge branch 'Ubuntu1804Fixes-1.0-20190121' into '1.0'" into master

Attila Krasznahorkay requested to merge cherry-pick-0b3fed96 into master

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.

Merge request reports