Merge pull request #4379 from mwichmann/release/build-update
commitbaf05b6eabdee6807ad607a6151ac3b2842e3c98
authorWilliam Deegan <bill@baddogconsulting.com>
Fri, 21 Jul 2023 17:13:49 +0000 (21 10:13 -0700)
committerGitHub <noreply@github.com>
Fri, 21 Jul 2023 17:13:49 +0000 (21 10:13 -0700)
tree17f71aa5c52fa27f780311993010406a476e18fa
parentb3ce3e2a90abfff0ff41c1cce032b7e06e94017a
parent99d939f4b518406cc2e3a138a3bc89dd2c6831f0
Merge pull request #4379 from mwichmann/release/build-update

Cleanup the SCons build a bit