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)
commitf0ed7fef35215be46a0f2b0a7b8923de5a84dd24
tree6d319c674999252b00776bf826c0398a29188cca
parente36c02f603a948807080b8591172970a1a4aa4a7
parent8a6869ed87a4baf39c31c6a3aff2efb5bd359b43
Merge pull request #14310 from neheb/su

sumo: update to 1.8.0