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