chiark / gitweb /
Merge branch 'wip.repoconfig' into wip.dsc
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Jun 2018 20:35:04 +0000 (21:35 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Jun 2018 20:35:04 +0000 (21:35 +0100)

Trivial merge