Merge remote-tracking branch 'tor-github/pr/1636'
commitc948db425280f6d132fe0415617e73c63607d904
authorNick Mathewson <nickm@torproject.org>
Tue, 14 Jan 2020 17:46:14 +0000 (14 12:46 -0500)
committerNick Mathewson <nickm@torproject.org>
Tue, 14 Jan 2020 17:46:14 +0000 (14 12:46 -0500)
tree7038274dde658aff04a52798071581b2f2529ec7
parentc2dc94d8ebcd5fdd1076abb41ff0ecee6c092f4f
parent4f6901d7cc827e5bfa98467b7a568f725ce7fa9f
Merge remote-tracking branch 'tor-github/pr/1636'
src/lib/thread/compat_pthreads.c