Skip to content

Don't enable LTO in the dev profile#7

Merged
japaric merged 1 commit intomainfrom no-ltoAug 31, 2020

Commits

Commits on Aug 31, 2020