From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 9 Aug 2020 00:11:58 +0000 (+0100)
Subject: Merge branch 'deploy' into deploy.spirit
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/distorted-chroot/commitdiff_plain/0d98f0ed3b4ddac8b93b214c770d163cee0ccee2

Merge branch 'deploy' into deploy.spirit

* deploy:
  Makefile: Don't insist on `/usr/lib/.../coreutils/'.
  bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.
---

0d98f0ed3b4ddac8b93b214c770d163cee0ccee2