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)
commit2a2715996836175483fddaf483b3c2faa0744411
tree3172aa5fceeea2ae890b0dacd368ba8a0b6c469b
parentdd0711d7656f5ca74e68ff7c77b56b39da692838
parentb41d7c89cb4378b72d4da1e2362c6518097f8a8e
Merge remote-tracking branch 'dgit/dgit/sid'