Decrease build time #15

Closed
bpeetz wants to merge 0 commits from build_perf into master

Diff Content Not Available