Learn more about these different git repos.
Other Git URLs
320d0ca
- valgrind already follows children which don't exec(), which is what we care about - give children more time to start, in case we're tracing