Merge pull request #10131 from neheb/jool
authorRosen Penev <rosenp@gmail.com>
Thu, 3 Oct 2019 22:51:22 +0000 (15:51 -0700)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 22:51:22 +0000 (15:51 -0700)
jool: Update to 4.0.5


Trivial merge