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

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