Merge pull request #11035 from jefferyto/scons-local
authorRosen Penev <rosenp@gmail.com>
Fri, 17 Jan 2020 00:47:19 +0000 (16:47 -0800)
committerGitHub <noreply@github.com>
Fri, 17 Jan 2020 00:47:19 +0000 (16:47 -0800)
scons: Switch to standalone version, update to 3.1.2


Trivial merge