Learn more about these different git repos.
Other Git URLs
a15b842
Apply patch from Simone Gotti; fixes #222744/#222838