chiark / gitweb /
dgit: Add a comment about a bug we are about to eliminate.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 6 Jun 2019 13:53:17 +0000 (14:53 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 11:45:38 +0000 (12:45 +0100)
commitf671ba1836ad04c5cf0c6bcbac9959f2aadfe4cc
tree3a0ee6cbfa8847797e359e019685ef379a73174f
parent0a65d9b91e6bb11ad6d842b3d5961320c154213b
dgit: Add a comment about a bug we are about to eliminate.

No functional change.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit