Learn more about these different git repos.
Other Git URLs
396835a
Be more flexible with non-mandatory config keys Since these configuration keys are not all mandatory, do not behave as if they were. Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>