chiark / gitweb /
Merge remote-tracking branch 'dgit/dgit/sid'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 12 Dec 2014 00:03:55 +0000 (00:03 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 12 Dec 2014 00:03:55 +0000 (00:03 +0000)

Trivial merge