Merge commit '9e48de3cc86c732d9cebd496d6f0a2b7e7732754'
authorJames Almer <jamrial@gmail.com>
Thu, 16 Nov 2017 16:11:24 +0000 (13:11 -0300)
committerJames Almer <jamrial@gmail.com>
Thu, 16 Nov 2017 16:11:24 +0000 (13:11 -0300)
commitb449af20d5d4b53cdc51696a04477a16336dc22d
tree5fec744d04cd9612c498870bad88ae60653ba08c
parentc7812b3bcffaa3fddd141cfa59a41af589766b01
parent9e48de3cc86c732d9cebd496d6f0a2b7e7732754
Merge commit '9e48de3cc86c732d9cebd496d6f0a2b7e7732754'

* commit '9e48de3cc86c732d9cebd496d6f0a2b7e7732754':
  configure: Miscellaneous minor changes

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