[tor-commits] [torbrowser/master] Fix a minor issue with the pipeline depth patch.