[bug-diffutils] bug#20062: bug#20062: bug#20062: [PATCH] diff: add support for --color

[Paul Eggert]

What happens if I type Control-C while colored output is streaming by my 
terminal?  Can it leave the terminal in a funny colored state?