This is an automated email from the git hooks/post-receive script.
richard pushed a change to branch maint-0.2.37 in repository tor-launcher.
at fe8022d Release preparations for 0.2.37
No new revisions were added by this update.
tor-commits@lists.torproject.org