Merge pull request #5938 from nxhack/bump_3_0_12
authorHannu Nyman <hannu.nyman@iki.fi>
Wed, 25 Apr 2018 08:52:45 +0000 (11:52 +0300)
committerGitHub <noreply@github.com>
Wed, 25 Apr 2018 08:52:45 +0000 (11:52 +0300)
swig: bump to 3.0.12


Trivial merge