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)
commit9c3df45d42aa28cd6c059bdcb66e943d0834c242
tree63dc3d4189922d85fbeb4f01c5dbaebf8c4565c5
parentf4b338c7ab043b0352f6f183b27bed7c2757df4d
parenta9abe60ef4678254abac66e42e0f20b14fc6fb2d
Merge pull request #10178 from neheb/summo

sumo: Update to 1.3.1
git clone https://git.99rst.org/PROJECT