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)
* commit 'ad5bbc408637cffd4cc2ba990abef529cf5fa6a3':
  configure: Rename require_header() --> require_headers()

This commit is a noop, see ce47f1589e9f5a6cf8372a269bdd862ff0cc3f91

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

Trivial merge