Homec4science

Merge branch 'master' into unsigned-wchar

Description

Merge branch 'master' into unsigned-wchar

Event Timeline

GitHub <noreply@github.com> committed R9484:837c24637040: Merge branch 'master' into unsigned-wchar (authored by Gennadiy Civil <gennadiycivil@users.noreply.github.com>).Feb 27 2018, 19:19

Merged Changes

CommitAuthorDetailsCommitted
7d15497f7538Gennadiy Civil/GitHub
Merge pull request #1464 from pwnall/death-style 
Feb 27 2018
84ec2e0365d7Victor Costan
Switch default death test style back to "fast". 
Feb 27 2018