]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #1889 from vtorri/dev
authorNick Terrell <terrelln@fb.com>
Tue, 19 Nov 2019 00:07:28 +0000 (16:07 -0800)
committerGitHub <noreply@github.com>
Tue, 19 Nov 2019 00:07:28 +0000 (16:07 -0800)
shared library: rename import library with .dll.a extension


Trivial merge