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


Trivial merge