[tor-commits] [tor] 08/08: Merge branch 'tor-gitlab/mr/555'

This is an automated email from the git hooks/post-receive script. dgoulet pushed a commit to branch main in repository tor. commit bae04e6a988dfb5deea86bb848b1649d3b3c3551 Merge: 0f7a1f0351 f9c3d38917 Author: David Goulet <dgoulet@torproject.org> AuthorDate: Mon May 16 08:45:32 2022 -0400 Merge branch 'tor-gitlab/mr/555' .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) -- To stop receiving notification emails like this one, please contact the administrator of this repository.