Merge commit '62d5b5a9d3b0181335072d6fa792f2d805bc27b6'
authorJames Almer <jamrial@gmail.com>
Sat, 11 Nov 2017 19:45:00 +0000 (16:45 -0300)
committerJames Almer <jamrial@gmail.com>
Sat, 11 Nov 2017 19:48:49 +0000 (16:48 -0300)
commit84522ad3fe77520595e97f33aca7ac0c8aee56bf
treeefaa79e3997a4bc8079655fd9046337783844fc4
parent4e754e94195b21b49f37471d29841cff2562e320
parent62d5b5a9d3b0181335072d6fa792f2d805bc27b6
Merge commit '62d5b5a9d3b0181335072d6fa792f2d805bc27b6'

* commit '62d5b5a9d3b0181335072d6fa792f2d805bc27b6':
  configure: Extend check_header() to allow checking for multiple headers

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