Skip to content

Cherry-pick "Merge branch 'checkers-20170814' into 'master'" into 1.0

Attila Krasznahorkay requested to merge cherry-pick-ef02e6a2 into 1.0

CheckerGccPlugins: Thread checker updates.

See merge request !120 (merged)

Merge request reports