Learn more about these different git repos.
Other Git URLs
8834e6f
Fixing type conversion in INI interface. Additional changes.