build: restrict dev optimization workaround to dependencies - #641
Closed
mkroening wants to merge 1 commit into
Closed
build: restrict dev optimization workaround to dependencies#641mkroening wants to merge 1 commit into
mkroening wants to merge 1 commit into
