Commit 82088b97 authored by Maxime Perrotin's avatar Maxime Perrotin

Merge branch 'feature_drop_unused_symbols' into 'master'

Drop unused symbols during linking.

See merge request !47
parents 4c9396a6 ad733ed6
Pipeline #2092 passed with stage
in 8 minutes and 18 seconds