This is an automated email from the git hooks/post-receive script.
richard pushed a change to annotated tag tor-browser-91.12.0esr-12.0-1-build2 in repository tor-browser.
*** WARNING: tag tor-browser-91.12.0esr-12.0-1-build2 was deleted! ***
tag was 335a7c7524de8
The revisions that were on this annotated tag are still contained in other references; therefore, this change does not discard any commits from the repository.