Merge pull request #13669 from neheb/jool2
authorRosen Penev <rosenp@gmail.com>
Thu, 15 Oct 2020 20:30:33 +0000 (13:30 -0700)
committerGitHub <noreply@github.com>
Thu, 15 Oct 2020 20:30:33 +0000 (13:30 -0700)
commit2b684a47597f63c8a0d3013b8fdb838c178c7a69
tree6bd2016312be0af56b0622fe8c7d79b0482e303e
parentddcc273f0829090c7175e9ac49df254c0945d8f3
parentcdaf0a8b3d1efbdbf818f846a7fc2f0561a50b47
Merge pull request #13669 from neheb/jool2

jool: update to 4.1.4