diff options
author | Jan Tattermusch <jtattermusch@users.noreply.github.com> | 2018-11-14 19:02:38 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-14 19:02:38 +0100 |
commit | 72f57a00040a9f3ea12bf972bd8e6cb79ff7ddb3 (patch) | |
tree | 7c700898f4155b2381c3a0ab33abfcc62dfec3a3 /package.xml | |
parent | db2f88ae0feb12cbe5ce705b0b3fdfde80a26610 (diff) | |
parent | 310e1b07a7508ea364e70bd776e3fa635b8c6aa2 (diff) |
Merge pull request #17216 from jtattermusch/dont_trigger_17175
Remove THREAD_SANITIZER define as it triggers #17175
Diffstat (limited to 'package.xml')
0 files changed, 0 insertions, 0 deletions