chiark / gitweb /
Merge branch 'master' into deploy.universe
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)
commit07f68002d73a4121908dec71a7701b813d4e0016
treed118a3c49a2040e16c940831f06648ccd7946dd2
parentc7c01b125d221388f3d786e995aae4677e86dd2c
parent942fed180961536fa966bfd4db28ee0537755932
Merge branch 'master' into deploy.universe

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