Learn more about these different git repos.
Other Git URLs
d6133b0
Fix potential NULL-dereference Coverity #12797