Merge commit '192fe52e42f64a493c47cad1461b20fe1149dbea'
authorJames Almer <jamrial@gmail.com>
Sun, 12 Nov 2017 03:39:41 +0000 (00:39 -0300)
committerJames Almer <jamrial@gmail.com>
Sun, 12 Nov 2017 03:39:41 +0000 (00:39 -0300)
commite55781954fdc23de1d17dbdca73e3b7006460c80
treea9786343c58b9b41a168cecdb355c144970f4353
parent4aefe010e30861eb8cbe04aa47223bf64d207dce
parent192fe52e42f64a493c47cad1461b20fe1149dbea
Merge commit '192fe52e42f64a493c47cad1461b20fe1149dbea'

* commit '192fe52e42f64a493c47cad1461b20fe1149dbea':
  configure: Miscellaneous minor changes to config file handling

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