Merge pull request #7068 from neheb/jool
authorHannu Nyman <hannu.nyman@iki.fi>
Thu, 20 Sep 2018 16:35:36 +0000 (19:35 +0300)
committerGitHub <noreply@github.com>
Thu, 20 Sep 2018 16:35:36 +0000 (19:35 +0300)
jool: Update to 3.5.7 and switch to tarballs


Trivial merge