commit 118e31b750e0edd6c8464ae2ff03c622a9497184 Merge: 8771199e6b ad7a50a6c8 Author: Alexander Færøy ahf@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(-)