chiark / gitweb /
Merge branch 'deploy' into deploy.crybaby
authorMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 13:02:04 +0000 (14:02 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 13:02:04 +0000 (14:02 +0100)
commitc2e5c27761bd9755e564f8bfb94049fa904f43da
tree47c99a7b9301cb37046f6d6be24063d7db0f11d0
parentda672e64b39510d11ac067eba87f177a1c79ef8d
parent308158fc1072d43254e2ea210f52374ea4711515
Merge branch 'deploy' into deploy.crybaby

* deploy:
  bin/chroot-maint: Prevent debconf from messing things up.