Learn more about these different git repos.
Other Git URLs
453ed96
Issues widget: don't crash if the backend isn't available Fixes #590