GitLab is used only for code review, issue tracking and project management. Canonical locations for source code are still https://gitweb.torproject.org/ https://git.torproject.org/ and git-rw.torproject.org.

Merge remote-tracking branch 'tor-gitlab/mr/195' into maint-0.3.5

7 jobs for maint-0.3.5 in 40 minutes and 13 seconds (queued for 1 minute and 36 seconds)
Status Job ID Name Coverage
  Test
passed #5644
debian-disable-dirauth

00:11:33

passed #5641
debian-distcheck

00:06:51

passed #5642
debian-docs

00:04:29

passed #5640
debian-hardened

00:21:34

passed #5643
debian-integration

00:15:22

passed #5639
debian-minimal

00:05:57

passed #5645
debian-nss

00:06:28