Homec4science

Merge branch 'master' into int3

Authored by Roland Leißa <leissa@cs.uni-saarland.de> on Mar 30 2018, 03:16.

Description

Merge branch 'master' into int3

Event Timeline

GitHub <noreply@github.com> committed R9484:b1d18b85bdb0: Merge branch 'master' into int3 (authored by Roland Leißa <leissa@cs.uni-saarland.de>).Mar 30 2018, 03:16

Merged Changes

CommitAuthorDetailsCommitted
7888184f2850Gennadiy Civil/GitHub
Include OSX builds back into PR builds 
Mar 29 2018
86d14079bee3Gennadiy Civil/GitHub
Merge pull request #1527 from google/revert-1518-master 
Mar 29 2018
b2373c6f5163Gennadiy Civil/GitHub
Revert "merging gtest-port 1 of N" 
Mar 29 2018
527fd3886704Gennadiy Civil/GitHub
Merge pull request #1526 from google/revert-1525-master 
Mar 29 2018
54bb165ffd0aGennadiy Civil/GitHub
Revert "merging gtest-port, 2" 
Mar 29 2018