Merge develop into master (!220) · Merge requests · SATIEnv / SATIE · GitLab

Patrick Dupuis requested to merge develop into master Jan 23, 2019

Release 1.2.0

We will create a tag on master once this is merged.