Merge pull request #10178 from neheb/summo
authorRosen Penev <redacted>
Mon, 14 Oct 2019 08:48:18 +0000 (01:48 -0700)
committerGitHub <redacted>
Mon, 14 Oct 2019 08:48:18 +0000 (01:48 -0700)
sumo: Update to 1.3.1


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