Your message dated Tue, 22 Jul 2014 10:58:58 -0600 with message-id <53CE9852.9090505@redhat.com> and subject line Re: [bug-diffutils] bug#18076: Lines are not ignored by option -I if they are followed by a line with a difference has caused the debbugs.gnu.org bug report #18076, regarding Lines are not ignored by option -I if they are followed by a line with a difference to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 18076: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18076 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems