Please delete branch ticket31476 from tor.git repository
I accidentally pushed this to origin.
My pre-push hook should have stopped me, but I got too used to overriding it for other things, and I accidentally overrode it for this too. :/
I accidentally pushed this to origin.
My pre-push hook should have stopped me, but I got too used to overriding it for other things, and I accidentally overrode it for this too. :/