[tor-commits] [tpo/staging] Merge pull request #12 from torproject/master