Merge pull request #13001 from neheb/sco
authorRosen Penev <rosenp@gmail.com>
Wed, 5 Aug 2020 07:59:32 +0000 (00:59 -0700)
committerGitHub <noreply@github.com>
Wed, 5 Aug 2020 07:59:32 +0000 (00:59 -0700)
scons: update to 4.0.1


Trivial merge