Closed GoogleCodeExporter closed 9 years ago
Is it still relevant? Do you still want this?
I would prefer to not complicate suppressions format. Comments on separate
lines seem to work fine:
# Comment
suppression
Original comment by dvyu...@google.com
on 2 Sep 2014 at 2:24
Probably no. We didn't need this during deployment
Original comment by gli...@chromium.org
on 10 Sep 2014 at 2:40
Original comment by dvyu...@google.com
on 10 Sep 2014 at 8:10
Adding Project:ThreadSanitizer as part of GitHub migration.
Original comment by gli...@google.com
on 30 Jul 2015 at 9:21
Original issue reported on code.google.com by
gli...@google.com
on 20 Sep 2013 at 8:39