Merge pull request #1977 from lukasm91:issue_1955_remove_pthread_flags
PiperOrigin-RevId: 222861732
Gennadiy Civil <misterg@google.com> | Nov 26 2018, 22:38 |
• trottet | Dec 4 2019, 13:52 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
ce526b87007a | Lukas Mosimann | Issue #1955: Remove THREADS_PREFER_PTHREAD_FLAG | Nov 22 2018 |