• peterbud's avatar
    Some cleanups, picked from PR 1327 · 724db815
    peterbud authored
    These are generic code changes not directly related to the PR's purpose,
    so let's pick them separately to make the changes to reason about less.
    724db815
build.sh 7.24 KB