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

[ahf at torproject.org]

commit 3c884bc9e077e997b5fffebc1d62bd690fc0cc05
Merge: 511730db2d 20a990cea3
Author: Alexander Færøy <ahf at 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(+)