[tor-commits] [tor] 02/04: Merge branch 'tor-gitlab/mr/714' 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 d77f1e7aea12e39b0aa2214d63c5a90be07f2d68
Merge: 33d5a7da9e 3036bedf30
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Wed May 31 14:28:44 2023 -0400

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

 .gitlab-ci.yml            | 21 ++++++++++++---------
 src/lib/sandbox/sandbox.c |  7 ++++++-
 2 files changed, 18 insertions(+), 10 deletions(-)

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