]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #1748 from terrelln/cover-deadlock
authorNick Terrell <terrelln@fb.com>
Tue, 27 Aug 2019 17:17:28 +0000 (10:17 -0700)
committerGitHub <noreply@github.com>
Tue, 27 Aug 2019 17:17:28 +0000 (10:17 -0700)
[dictBuilder] Fix deadlock in *COVER error case


Trivial merge