Re: [PATCH] diff exit status

[Todd C. Miller]

On Sun, 27 Aug 2017 00:47:26 +0200, Ibrahim Khalifa wrote:

> Bumping this to tech@ since I think it would be nice to get this into the
> stock diff.

Committed, thanks.

 - todd