Merge remote-tracking branch 'tor-github/pr/749' into maint-0.2.9
commit7786198eef31b9c608c3e13ae143cd430319af50
authorteor <teor@torproject.org>
Fri, 1 Mar 2019 04:15:00 +0000 (1 14:15 +1000)
committerteor <teor@torproject.org>
Fri, 1 Mar 2019 04:15:00 +0000 (1 14:15 +1000)
treea609e1ba4489ca60933a2172f68d5d70af5ff99e
parentc1ab53847907166cdc93727cee5877c68e8bdd01
parent33a80921a2e7bbf128c27a1a0c4903a9a322708a
Merge remote-tracking branch 'tor-github/pr/749' into maint-0.2.9