tree 29894cbc2a5bf92eeec0f42c80a1fc28d580eb1f
parent 0ea629c61ec70a35075e800bc3f85651f00e746f
parent 0b62b2f6ed7c068d205f82a31adf3e29dbf02c2d
author Jan Tattermusch <jtattermusch@users.noreply.github.com> 1515601139 +0100
committer GitHub <noreply@github.com> 1515601139 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJaVjzzCRBK7hj4Ov3rIwAAdHIIADEkE/xFrVOyExoXxc26PcEQ
 E9aLmsJRC5AOxOIt8HYwm1LnCZo1eeMsD01M1uLgAyR0Psalg/Dxfxg++lH4VBA1
 yfuuUn0S+E/+r5RTa8Wclwx50sfCij3J4nJFucS/uw39efBUKwputZtHLoNG1qmL
 Ltu9jBEwhTYZj2hzvbA8YpTPHol4EJtDz7g2+BOAe38biMfLT5ayg0IXieoeRi8Z
 2uWr5Nul6HT7S/NgwQUzp4FeQ3Wu1rd41kPbhCr1HJGjveJbyYddcpUVzLG3XzDZ
 mSUjcl2yKz8IvVtsYXoWQKPd/xUnKfQ172AlX9rQ2uzh+Bj4J5LW5pYukL7WIF0=
 =7RDL
 -----END PGP SIGNATURE-----
 

Merge pull request #13964 from jtattermusch/reintroduce_13700

Reintroduce check_sources_and_headers optimization