Commit 5e457671 authored Feb 13, 2018 by Willi Rath

Merge branch 'develop' into 'master'

Use curl because wget might not be available on Mac

See merge request !70