Merge pull request #615 from vtorri/dev
authorYann Collet <Cyan4973@users.noreply.github.com>
Sun, 2 Dec 2018 20:30:25 +0000 (12:30 -0800)
committerGitHub <noreply@github.com>
Sun, 2 Dec 2018 20:30:25 +0000 (12:30 -0800)
 Windows: create import library with gcc directly, remove now useless def file


Trivial merge