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

17 May 2021


      commit 11ac256a4413dbf89e02227e30b040c50d14652e
Merge: af560f21ec e0a8454691
Author: Nick Mathewson <nickm@torproject.org>
Date:   Mon May 17 09:08:49 2021 -0400

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

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

nickm＠torproject.org