Merge pull request #10480 from tiagogaspar8/jool-4.0.6-update
authorRosen Penev <redacted>
Wed, 6 Nov 2019 18:39:32 +0000 (10:39 -0800)
committerGitHub <redacted>
Wed, 6 Nov 2019 18:39:32 +0000 (10:39 -0800)
jool: Update to 4.0.6


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