chiark / gitweb /
Merge branch 'master' into deploy
authorMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 13:01:53 +0000 (14:01 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 29 Sep 2019 13:01:53 +0000 (14:01 +0100)
commit308158fc1072d43254e2ea210f52374ea4711515
tree84e1d21eb5f8088f9a25a7dd74173e0241237ebc
parent023dbf291d462662eaadd8c2976f38c4d2b7f95e
parenta6395bc305a7932895bcb591e15b65010ac2b3d5
Merge branch 'master' into deploy

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