Commit 9023f8f66a4dc03597e75a7527f603cc106c16f7

Nelson Elhage 2018-07-22T23:31:19

config_file: Don't crash on options without a section (cherry picked from commit c4d7fa951acd066fd80d83954dd6082c1c7e9e1e)