[tor-commits] [tor] 12/13: Merge branch 'tor-gitlab/mr/645' into maint-0.4.7

[gitolite role]

This is an automated email from the git hooks/post-receive script.

dgoulet pushed a commit to branch main
in repository tor.

commit f09b913e18ef2a8d092b2c21840acc5f2d64c337
Merge: 72f52d2c85 b30193416c
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Thu Oct 27 11:42:07 2022 -0400

    Merge branch 'tor-gitlab/mr/645' into maint-0.4.7

 changes/ticket40683        |  6 ++++++
 scripts/build/combine_libs | 10 ++++++++++
 2 files changed, 16 insertions(+)

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.