Switch build image from debian/stretch to arch
authorAmin Bandali <amin@gnu.org>
Mon, 20 Aug 2018 15:20:58 +0000 (11:20 -0400)
committerAmin Bandali <amin@gnu.org>
Mon, 20 Aug 2018 15:20:58 +0000 (11:20 -0400)
This should hopefully help make the build pass.


No differences found