Drop unused symbols during linking.

enabled an automatic merge when the pipeline for a0f3b64f succeeds

By Thanassis Tsiodras on 2020-07-27T10:16:24

aborted the automatic merge because source branch was updated

By Maxime Perrotin on 2020-07-27T11:49:23

added 128 commits

• a0f3b64f...4c9396a6 - 127 commits from branch master
• 3c653d3f - Merge branch 'master' into feature_drop_unused_symbols

Compare with previous version

By Maxime Perrotin on 2020-07-27T11:49:24

enabled an automatic merge when the pipeline for 3c653d3f succeeds

By Maxime Perrotin on 2020-07-27T11:51:41

merged

By Maxime Perrotin on 2020-07-27T11:57:52

mentioned in commit 82088b97

By Maxime Perrotin on 2020-07-27T11:57:52