Merge branch 'deploy' into deploy.crybaby deploy.crybaby
authorMark Wooding <mdw@distorted.org.uk>
Sun, 9 Aug 2020 00:09:14 +0000 (01:09 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 9 Aug 2020 00:09:14 +0000 (01:09 +0100)
* deploy:
  Makefile: Don't insist on `/usr/lib/.../coreutils/'.
  bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.


Trivial merge