Learn more about these different git repos.
Other Git URLs
8b01fe0
Fix default configuration key value to fit the actual default value This also fit what is documented as being the default value. Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>