[tor-commits] [tor/main] Merge remote-tracking branch 'tor-gitlab/mr/507' into main

[ahf at torproject.org]

commit 118e31b750e0edd6c8464ae2ff03c622a9497184
Merge: 8771199e6b ad7a50a6c8
Author: Alexander Færøy <ahf at torproject.org>
Date:   Tue Jan 25 21:52:31 2022 +0000

    Merge remote-tracking branch 'tor-gitlab/mr/507' into main

 scripts/ci/ci-driver.sh | 117 ++++++++++++++++++++++++------------------------
 1 file changed, 59 insertions(+), 58 deletions(-)