Use -O1 optimization level#682

Open

jmert wants to merge 2 commits intoJuliaIO:masterfrom

jmert:optlevel1

Commits on Oct 29, 2020

Use -O1 optimization level
jmert
committed

Commits on May 31, 2022

Merge branch 'master' into optlevel1
mkitti
authored