Homec4science

Merge branch 'master' into debug-postfix

Description

Merge branch 'master' into debug-postfix

Event Timeline

GitHub <noreply@github.com> committed R9484:ab46d9550bba: Merge branch 'master' into debug-postfix (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