Merge commit 'ad5bbc408637cffd4cc2ba990abef529cf5fa6a3'
authorJames Almer <jamrial@gmail.com>
Sun, 2 Sep 2018 20:45:23 +0000 (17:45 -0300)
committerJames Almer <jamrial@gmail.com>
Sun, 2 Sep 2018 20:45:23 +0000 (17:45 -0300)
commit64425e005edf3bdd77c34c078c3e74ab5ecef557
treebd02570dca19753db1f32ec58543e459b809073e
parent26148e923613e718787c6fc4bf3f64e8909f597c
parentad5bbc408637cffd4cc2ba990abef529cf5fa6a3
Merge commit 'ad5bbc408637cffd4cc2ba990abef529cf5fa6a3'

* commit 'ad5bbc408637cffd4cc2ba990abef529cf5fa6a3':
  configure: Rename require_header() --> require_headers()

This commit is a noop, see ce47f1589e9f5a6cf8372a269bdd862ff0cc3f91

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