chiark / gitweb /
Merge branch 'deploy' into deploy.universe
authorMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 13:09:03 +0000 (14:09 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 13:09:03 +0000 (14:09 +0100)
commit65829dbb880b9b01c136160d5c1f3a8b67849f59
treefad3c9cf19ba0836da1c8ced92b383ac09eb175a
parenteda09dbe0b0d62e2ccd579ebfa17a22aeaeefa08
parent308158fc1072d43254e2ea210f52374ea4711515
Merge branch 'deploy' into deploy.universe

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