Learn more about these different git repos.
Other Git URLs
ea22737
update.js: Fix versions so that the settings is really updated Decimal numbers do not work as used previously