richard pushed new branch maint-12.5 at The Tor Project / Applications / tor-browser-build -- View it on GitLab: https://gitlab.torproject.org/tpo/applications/tor-browser-build/-/tree/main... You're receiving this email because of your account on gitlab.torproject.org.