chiark / gitweb /
Merge branch 'deploy' into deploy.gibson
authorMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 13:12:58 +0000 (14:12 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 13:12:58 +0000 (14:12 +0100)
* deploy:
  bin/chroot-maint: Prevent debconf from messing things up.
  etc/sbuild.conf.in: Keep failed build trees for diagnostics.


Trivial merge