[tor-commits] [tor/main] Merge remote-tracking branch 'tor-gitlab/mr/419'

[nickm@xxxxxxxxxxxxxx]

commit 00b57e81f827d524dc42e2eab052e4d3b61b2cb6
Merge: 03a709ead1 719169dbe3
Author: Nick Mathewson <nickm@xxxxxxxxxxxxxx>
Date:   Wed Aug 18 08:39:50 2021 -0400

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

 scripts/build/combine_libs | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits