chiark / gitweb /
Merge branch 'master' into distorted
authorMark Wooding <mdw@distorted.org.uk>
Thu, 28 Aug 2014 14:55:56 +0000 (15:55 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 28 Aug 2014 14:55:56 +0000 (15:55 +0100)
* master:
  bin/run-mirrors: Run post scripts after mirror jobs.

1  2 
bin/run-mirrors

diff --cc bin/run-mirrors
Simple merge