chiark / gitweb /
Merge branch 'master' into deploy.gibson
authorMark Wooding <mdw@distorted.org.uk>
Sat, 9 May 2020 16:09:19 +0000 (17:09 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 9 May 2020 16:09:19 +0000 (17:09 +0100)
commitee30f53de86280ac63b991b8e0b72294def5b4d5
tree3cce13121efc1bda101773cd2b34515965e9ffb7
parent83641d1b50e9f9bce27eabd06d1c5208549b3a86
parent942fed180961536fa966bfd4db28ee0537755932
Merge branch 'master' into deploy.gibson

* master:
  Makefile, bin/chroot-maint: Keep `/usr/local/include' mostly empty.
  etc/sbuild.conf.in: Don't run complicated Debian testing by default.