Merge remote-tracking branch 'tor-gitlab/mr/185' into master

9 jobs for master in 90 minutes and 27 seconds (queued for 3 minutes and 47 seconds)
Status Job ID Name Coverage
  Test
passed debian-disable-dirauth #4877

00:11:47

passed debian-disable-relay #4878

00:11:02

passed debian-distcheck #4873

00:17:36

passed debian-docs #4874

00:04:10

passed debian-hardened #4872

00:20:46

passed debian-integration #4875

00:12:53

passed debian-minimal #4871

00:06:30

passed debian-nss #4879

00:05:39

passed debian-tracing #4876

00:05:38