Merge branch 'maint-0.4.2' into maint-0.4.3

This commit is contained in:
Nick Mathewson 2020-08-06 13:24:11 -04:00
commit 39d5e7c764

View File

@ -1,3 +1,5 @@
image: debian:stable
before_script: before_script:
- apt-get update -qq - apt-get update -qq
- apt-get upgrade -qy - apt-get upgrade -qy