Merge pull request #14104 from neheb/sumo
authorRosen Penev <redacted>
Wed, 2 Dec 2020 07:41:11 +0000 (23:41 -0800)
committerGitHub <redacted>
Wed, 2 Dec 2020 07:41:11 +0000 (23:41 -0800)
sumo: update to 1.7.0


Trivial merge
git clone https://git.99rst.org/PROJECT