Merge commit 'aba7fdcc8baaed35e804c7882b70a848a0e566c7'
authorJames Almer <jamrial@gmail.com>
Tue, 26 Sep 2017 20:29:57 +0000 (17:29 -0300)
committerJames Almer <jamrial@gmail.com>
Tue, 26 Sep 2017 20:29:57 +0000 (17:29 -0300)
commit14194090a6f65c5110689944c91a6b9030c65791
treedaa7e42e467ad99d60fe87b7e76798f2e39a87af
parent1985071e41f4df8fc693a564e25758676bba164a
parentaba7fdcc8baaed35e804c7882b70a848a0e566c7
Merge commit 'aba7fdcc8baaed35e804c7882b70a848a0e566c7'

* commit 'aba7fdcc8baaed35e804c7882b70a848a0e566c7':
  configure: Add require_header() convenience function

Merged-by: James Almer <jamrial@gmail.com>
configure