]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #3865 from facebook/grep_e
authorYann Collet <Cyan4973@users.noreply.github.com>
Mon, 15 Jan 2024 20:44:46 +0000 (12:44 -0800)
committerGitHub <noreply@github.com>
Mon, 15 Jan 2024 20:44:46 +0000 (12:44 -0800)
playTests.sh does no longer needs grep -E


Trivial merge