Learn more about these different git repos.
Other Git URLs
2d4dc35
Apply patch from Eric Kerin to fix #162824, fix #162936