Merge branch 'preprod' into 'master' (!37) · Merge requests · IPNL_GAMMA / scripts · GitLab

Gitlab has been updated. More info here.

Jérémie Dudouet requested to merge dudouet/scripts:CheckEnv into preprod Apr 09, 2019

Synchronization with Preprod

See merge request !36 (merged)