Merge pull request #9011 from nxhack/swig_4.0.0
authorRosen Penev <rosenp@gmail.com>
Fri, 17 May 2019 20:00:20 +0000 (13:00 -0700)
committerGitHub <noreply@github.com>
Fri, 17 May 2019 20:00:20 +0000 (13:00 -0700)
swig: update to 4.0.0


Trivial merge