chiark / gitweb /
Merge remote-tracking branch 'origin/master' into deploy
authorMark Wooding <mdw@distorted.org.uk>
Fri, 20 Sep 2019 10:02:09 +0000 (11:02 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 20 Sep 2019 10:02:09 +0000 (11:02 +0100)
* origin/master:
  bin/chroot-maint (mkdir_p): Create absolute paths correctly.


Trivial merge