Hand merge of MR !31: Update the CI infrastructure to be faster
authorEric S. Raymond <esr@thyrsus.com>
Fri, 2 Jun 2017 10:42:35 +0000 (06:42 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Fri, 2 Jun 2017 10:42:35 +0000 (06:42 -0400)

No differences found