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)
I will now experiment with using the upstream Docker image, since it
now appears to be based on Debian main.


Trivial merge