Hi!
If you're writing a patch that needs to go into Tor 0.4.2.x, please
base it on the new "maint-0.4.2" branch. The "master" branch is now
for developing the new and exciting Tor 0.4.3.x.
If you use git-pull-all.sh, git-push-all.sh, or git-merge-forward.sh,
please be sure to update to the latest versions in the master branch;
they know about the maint-0.4.2 and release-0.4.2 branches.
cheers,
--
Nick