Merge branch 'master' into fsf-master
authorAndrew Engelbrecht <andrew@fsf.org>
Tue, 17 Sep 2019 21:45:18 +0000 (17:45 -0400)
committerAndrew Engelbrecht <andrew@fsf.org>
Tue, 17 Sep 2019 21:45:18 +0000 (17:45 -0400)
commitc1b5b7bb65168e8dd2cccca5c634c9ed739ec166
tree7ea3cc867185f76920da315a22d2e19ff11b7af8
parent7b3db15202d564c269576d28f7887c6c58a22954
parent37252cbd40af6738164202ba4ef34b1f6cb77fc6
Merge branch 'master' into fsf-master

I will now experiment with using the upstream Docker image, since it
now appears to be based on Debian main.