This is an automated email from the git hooks/post-receive script.
richard pushed a change to branch master in repository tor-launcher.
was fe8022d Release preparations for 0.2.37
The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository.
tor-commits@lists.torproject.org