Package: diff Version: 2.8.1-7 Severity: normal As described in https://bugzilla.ubuntu.com/show_bug.cgi?id=7291 diff --ignore-file-name-case does not appear to work. To reproduce:
% mkdir a b % touch a/foo b/FOO % diff --ignore-file-name-case a b Only in a: foo Only in b: FOO lamont -- System Information: Debian Release: 3.1 Architecture: i386 (i686) Kernel: Linux 2.6.10-4-686 Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
