Merge pull request #14104 from neheb/sumo
authorRosen Penev <rosenp@gmail.com>
Wed, 2 Dec 2020 07:41:11 +0000 (23:41 -0800)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 07:41:11 +0000 (23:41 -0800)
commitdb12199a86bcc626a338232286cc5a9338563a6b
tree27cec17a758fdd86f3b4084e6f963ba93aa98ede
parent0b7c85f090110843d83dbb3efd01bed1fb4fd937
parent2e52916c28dfe33f2a55eaad0988ef80fd04e47f
Merge pull request #14104 from neheb/sumo

sumo: update to 1.7.0