Commit 43e7bf78aa28b8a5bc43f0f3ba91b06d98ca6b70

Patrick Steinhardt 2018-08-16T10:27:49

Merge pull request #4750 from nelhage/nelhage-config-no-section config_file: Don't crash on options without a section