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)
commit6b8d2eb2c7885cd35108253878eec9d135c6ec05
tree84e1d21eb5f8088f9a25a7dd74173e0241237ebc
parent224af0904a8c085b1cf592beaa29c72526e93d7f
parent308158fc1072d43254e2ea210f52374ea4711515
Merge branch 'deploy' into deploy.gibson

* deploy:
  bin/chroot-maint: Prevent debconf from messing things up.
  etc/sbuild.conf.in: Keep failed build trees for diagnostics.