Merge 1.3.1 into develop (!332) · Merge requests · SATIEnv / SATIE · GitLab

Patrick Dupuis requested to merge 1.3.1 into develop Jan 23, 2020

Just a maintenance MR to bring develop up-to-date with 1.3.1.