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

[nickm at torproject.org]

commit 00b57e81f827d524dc42e2eab052e4d3b61b2cb6
Merge: 03a709ead1 719169dbe3
Author: Nick Mathewson <nickm at torproject.org>
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(-)