[bug-diffutils] bug#17075: bug#17075: diff - - exits immediately

[Paul Eggert]

Karl Berry wrote:

Thanks for the doc patch, looks good to me.

Thanks; closing the bug report.