Re: [PATCH] diff.c: fix pointer type warning

Thanks; I think I already have it in my tree from your yesterday's
e-mail.  I just have been too busy to whip the other branches into shape
to push the results out.