richard pushed to branch maint-13.0 at The Tor Project / Applications / tor-browser-build

Commits:

30 changed files:

The diff was not included because it is too large.