chiark / gitweb /
Merge branch 'deploy' into deploy.spirit
authorMark Wooding <mdw@distorted.org.uk>
Mon, 8 Jun 2020 19:01:50 +0000 (20:01 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 8 Jun 2020 19:01:50 +0000 (20:01 +0100)
commit691926fedae011dcd0b980ce77fe7ce7ab60aab5
treeff92c8b76a9d0af673489d1e0f8eda503675594b
parentc9cd31f4ef641e602f34548a51b6b0ab4e72961a
parente46b83564762947004b1eeea5b38ff50766a3e82
Merge branch 'deploy' into deploy.spirit

* deploy:
  Makefile: Use buster's Qemu on stretch.
  Makefile, bin/chroot-maint: Allow source distribution selection for Qemu.
  bin/chroot-maint: Add missing format argument to diagnostic.