Cherry-pick "Merge branch '1.0-dmtcp-clean' into '1.0'" into master (!296) · Merge requests · atlas / atlasexternals · GitLab

Attila Krasznahorkay requested to merge cherry-pick-a5730028 into master Apr 20, 2018

Dropped dmtcp

See merge request !292 (merged)

(cherry picked from commit a5730028)

44f19ce0 Dropped dmtcp