[tor-commits] [tor/master] Merge remote-tracking branch 'tor-gitlab/mr/136'

commit 3c884bc9e077e997b5fffebc1d62bd690fc0cc05 Merge: 511730db2d 20a990cea3 Author: Alexander Færøy <ahf@torproject.org> Date: Wed Aug 26 22:15:04 2020 +0000 Merge remote-tracking branch 'tor-gitlab/mr/136' .gitlab-ci.yml | 12 ++++++++++++ changes/ticket40038 | 3 +++ scripts/ci/ci-driver.sh | 5 +++++ 3 files changed, 20 insertions(+)