Unverified Commit 92ffa68b authored by Justin Carpentier's avatar Justin Carpentier Committed by GitHub
Browse files

Merge pull request #526 from stack-of-tasks/devel

Merge devel into master
parents a545c921 6be296ec
Pipeline #1526 passed with stage
in 376 minutes and 42 seconds