[bug-diffutils] bug#16625: diff shown is not (locally) minimum

[Paul Eggert]

Re http://bugs.gnu.org/16625

Thanks, this bug should be fixed by the following patch:

http://git.savannah.gnu.org/cgit/diffutils.git/commit/?id=9b48bf3d3ed002e32fad5de5f539745bc861a104

which should appear in the next diffutils release.