Merge commit '5cb62f9d952e24fff62737a57e89cf43d9c2333a'
authorJames Almer <jamrial@gmail.com>
Sun, 2 Sep 2018 20:29:54 +0000 (17:29 -0300)
committerJames Almer <jamrial@gmail.com>
Sun, 2 Sep 2018 20:29:54 +0000 (17:29 -0300)
commitce47f1589e9f5a6cf8372a269bdd862ff0cc3f91
tree04b8347be2223de39a52274727c45743f0697031
parent73d193d1d0ff62a029a905d1404c0fd357f4c880
parent5cb62f9d952e24fff62737a57e89cf43d9c2333a
Merge commit '5cb62f9d952e24fff62737a57e89cf43d9c2333a'

* commit '5cb62f9d952e24fff62737a57e89cf43d9c2333a':
  configure: Rename check_header() --> check_headers()

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