* Ian Jackson <ijackson@chiark.greenend.org.uk> [141103 19:13]: > The point is that the dgit user probably will have done git diff > before dgit build / push. git diff provides a more convenient diffing > tool than debdiff, and eyeballing the same thing twice is makework. git diff is a nice tool. But it has it limits. Try detecting the adding or removel of an empty file with git diff for example. Bernhard R. Link -- F8AC 04D5 0B9B 064B 3383 C3DA AFFC 96D1 151D FFDC