Merge branch 'master' into '181-create-an-install-script'

# Conflicts:
#   install.linux.sh
This commit is contained in:
Michel Memeteau 2020-02-26 15:56:54 +01:00
commit 44f19e704e

Diff content is not available