chiark / gitweb /
Merge remote-tracking branch 'dgit/dgit/experimental' into HEAD
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 27 Jun 2018 23:44:12 +0000 (00:44 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 27 Jun 2018 23:44:12 +0000 (00:44 +0100)
commit927e1e096987faf87d762745eeb65abef8504156
tree2bcdb84f00561afd78445ba1814d45fa7d4751be
parentfd95abf1edeb48dcaab582b0158858f095ef9083
parentd4ca9e4a8ac7a09ef53171693e86058f3d913d5f
Merge remote-tracking branch 'dgit/dgit/experimental' into HEAD

-s ours