Merge pull request #13964 from jtattermusch/reintroduce_13700
Reintroduce check_sources_and_headers optimizationpull/13966/head
commit
2eb22fd67d
1 changed files with 3 additions and 6 deletions
Loading…
Reference in new issue