Merge branch 'master' into unsigned-wchar
Description
Description
Details
Details
- Committed
GitHub <noreply@github.com> Feb 27 2018, 19:19 - Pushed
• trottet Dec 4 2019, 13:52 - Parents
- R9484:5e1bca7376f0: Merge branch 'master' into unsigned-wchar
R9484:7d15497f7538: Merge pull request #1464 from pwnall/death-style - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
7d15497f7538 | Gennadiy Civil/GitHub | Merge pull request #1464 from pwnall/death-style | Feb 27 2018 | |||
84ec2e0365d7 | Victor Costan | Switch default death test style back to "fast". | Feb 27 2018 |