chiark / gitweb /
dgit: Add a comment about a bug we are about to eliminate.