build: rename "optimized-out" to "out-optimized"#515

Merged

PaulRBerg merged 1 commit intomainfrom build/out-optimized

May 28, 2023

+31-31

Commits on May 28, 2023

build: rename "optimized-out" to "out-optimized"
PaulRBerg
committed