[tor-commits] [tor] 01/01: Merge branch 'maint-0.4.7' into release-0.4.7

[gitolite role]

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

dgoulet pushed a commit to branch release-0.4.7
in repository tor.

commit eeb1f8b0fd2555bba847b6ddaf2b2d89e65581b4
Merge: aef76beccc 066da91521
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Wed May 31 14:32:07 2023 -0400

    Merge branch 'maint-0.4.7' into release-0.4.7

 .gitlab-ci.yml            | 21 ++++++++++++---------
 changes/ticket40799       |  6 ++++++
 src/lib/sandbox/sandbox.c |  7 ++++++-
 3 files changed, 24 insertions(+), 10 deletions(-)

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