Homec4science

Merge branch 'master' into master

Description

Merge branch 'master' into master

Event Timeline

GitHub <noreply@github.com> committed R9484:822c6201d3ba: Merge branch 'master' into master (authored by Gennadiy Civil <gennadiycivil@users.noreply.github.com>).Jan 15 2018, 22:07

Merged Changes

CommitAuthorDetailsCommitted
051fe2fa05afGennadiy Civil/GitHub
Merge pull request #1339 from Romain-Geissler/fix-core-dump-shared 
Jan 15 2018
f6887b5cb905Gennadiy Civil/GitHub
Merge branch 'master' into fix-core-dump-shared 
Jan 13 2018
63ded6c27ac2Gennadiy Civil/GitHub
Merge pull request #1400 from gennadiycivil/master 
Jan 13 2018
0e6da4cead72Gennadiy Civil/GitHub
Merge branch 'master' into fix-core-dump-shared 
Jan 9 2018
cdedd189b22aGennadiy Civil/GitHub
Merge branch 'master' into fix-core-dump-shared 
Dec 8 2017
0663ce9024c9Romain Geissler
Fix double free when building Gtest/GMock in shared libraries and linking a… 
Dec 2 2017