Learn more about these different git repos.
Other Git URLs
8032a53
If quit_threads gets set via an incoming message, don't try to carry on. probably fixes bz#164535