Commit 4f7c100c authored by Michaël Roynard's avatar Michaël Roynard

Merge branch 'dev' into 'master'

Fix pthread dependency

See merge request !4
parents 58a3e4ab 31d25c06
Pipeline #2036 passed with stage
in 1 minute and 29 seconds