Merge pull request #14310 from neheb/su
authorRosen Penev <rosenp@gmail.com>
Wed, 23 Dec 2020 10:44:17 +0000 (02:44 -0800)
committerGitHub <noreply@github.com>
Wed, 23 Dec 2020 10:44:17 +0000 (02:44 -0800)
sumo: update to 1.8.0


Trivial merge