Merge commit 'ad5bbc408637cffd4cc2ba990abef529cf5fa6a3'

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

This commit is a noop, see ce47f1589e

Merged-by: James Almer <jamrial@gmail.com>
pull/303/head^2
James Almer 7 years ago
commit 64425e005e

Diff Content Not Available