Your bug report #18076: Lines are not ignored by option -I if they are followed by a line with a difference which was filed against the diffutils package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 18076@debbugs.gnu.org. -- 18076: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18076 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems