I have replied privately and am closing this public bug report.
- [bug-diffutils] bug#80896: ... All diffutils discussion.
- [bug-diffutils] bug#80... [email protected] via RT via bug-diffutils
- [bug-diffutils] bug#80... All diffutils discussion.
- [bug-diffutils] bu... All diffutils discussion.
- [bug-diffutils] bug#80... Paul Eggert
