[tor-commits] [tor/master] Merge remote-tracking branch 'tor-gitlab/mr/211'

commit db5f7b4250e14d53dc72fd0c8b2ad8822f77e848 Merge: b645fbdb54 328f38a59f Author: Alexander Færøy ahf@torproject.org Date: Fri Dec 18 14:22:23 2020 +0000

Merge remote-tracking branch 'tor-gitlab/mr/211'

changes/ticket17927 | 4 ++ src/lib/lock/compat_mutex.h | 11 ++++- src/lib/lock/compat_mutex_winthreads.c | 78 +++++++++++++++++++++++++++++++--- src/lib/thread/compat_winthreads.c | 8 +++- 4 files changed, 92 insertions(+), 9 deletions(-)