Homec4science

Merge branch 'master' into unsigned-wchar

Description

Merge branch 'master' into unsigned-wchar

Event Timeline

GitHub <noreply@github.com> committed R9484:829a8c966b80: Merge branch 'master' into unsigned-wchar (authored by Gennadiy Civil <gennadiycivil@users.noreply.github.com>).Mar 5 2018, 16:43

Merged Changes

CommitAuthorDetailsCommitted
6c73adfc03e2Gennadiy Civil/GitHub
Merge pull request #1486 from petrhosek/json-stacktrace 
Mar 2 2018
7a2050d4d7eePetr Hosek
Use a full message in the JSON output for failures 
Mar 1 2018